gillian » Gillian » Gil_syntax » Annot » Basic

Module 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:Utils.Location.t ->
  ?loop_info:string list ->
  unit ->
  t

val get_origin_loc : t -> Utils.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:Utils.Location.t -> ?loop_info:string list -> unit -> t