sig
type t = SlicingTypes.sl_mark
val dyn_t : Db.Slicing.Mark.t Type.t
val make :
(data:bool -> addr:bool -> ctrl:bool -> Db.Slicing.Mark.t) Pervasives.ref
val compare :
(Db.Slicing.Mark.t -> Db.Slicing.Mark.t -> int) Pervasives.ref
val is_bottom : (Db.Slicing.Mark.t -> bool) Pervasives.ref
val is_spare : (Db.Slicing.Mark.t -> bool) Pervasives.ref
val is_data : (Db.Slicing.Mark.t -> bool) Pervasives.ref
val is_ctrl : (Db.Slicing.Mark.t -> bool) Pervasives.ref
val is_addr : (Db.Slicing.Mark.t -> bool) Pervasives.ref
val get_from_src_func :
(Db.Slicing.Project.t -> Cil_types.kernel_function -> Db.Slicing.Mark.t)
Pervasives.ref
val pretty : (Format.formatter -> Db.Slicing.Mark.t -> unit) Pervasives.ref
end