Basic (gillian.Gil_syntax.Annot.Basic)

include 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: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

val equal : t -> t -> bool

val make : 
  ?origin_loc:Gillian.Gil_syntax.Location.t ->
  ?loop_info:string list ->
  unit ->
  t