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