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