gillian » Gillian » Debugger » Lifter » Gil_lifter » Make » PC » Annot

Module PC.Annot

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