sig
  type t
  val dyn_t : Slicing.Api.Mark.t Type.t
  val make : data:bool -> addr:bool -> ctrl:bool -> Slicing.Api.Mark.t
  val compare : Slicing.Api.Mark.t -> Slicing.Api.Mark.t -> int
  val is_bottom : Slicing.Api.Mark.t -> bool
  val is_spare : Slicing.Api.Mark.t -> bool
  val is_data : Slicing.Api.Mark.t -> bool
  val is_ctrl : Slicing.Api.Mark.t -> bool
  val is_addr : Slicing.Api.Mark.t -> bool
  val get_from_src_func : Cil_types.kernel_function -> Slicing.Api.Mark.t
  val pretty : Format.formatter -> Slicing.Api.Mark.t -> unit
end