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 :
    (Cil_types.kernel_function -> Db.Slicing.Mark.t) Pervasives.ref
  val pretty : (Format.formatter -> Db.Slicing.Mark.t -> unit) Pervasives.ref
end