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