Module type Annot.S

type t
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 set_loop_info : string list -> t -> t
val is_hidden : t -> bool