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