Annot.Basic
include S
val to_yojson : t -> Yojson.Safe.t
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val make_basic : ?origin_loc:Location.t -> ?loop_info:string list -> unit -> t
val get_origin_loc : t -> Location.t option
val get_loop_info : t -> string list
val make : ?origin_loc:Location.t -> ?loop_info:string list -> unit -> t