Module Api.Mark

module Mark: sig .. end

Mark


type t = SlicingTypes.sl_mark 
val dyn_t : SlicingTypes.Sl_mark.t Type.t

No needs of Journalization

val compare : SlicingTypes.sl_mark -> SlicingTypes.sl_mark -> int
val pretty : 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