Annot (gillian.ParserAndCompiler.Dummy.Annot)

type t = Gillian.Gil_syntax.Annot.Basic.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:Gillian.Gil_syntax.Location.t ->
  ?loop_info:string list ->
  unit ->
  t

val get_origin_loc : t -> Gillian.Gil_syntax.Location.t option

val get_loop_info : t -> string list

val set_loop_info : string list -> t -> t

val is_hidden : t -> bool