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