sig
val mk_m1_spare : SlicingInternals.pdg_mark
val mk_gen_spare : SlicingInternals.pdg_mark
val is_top : SlicingInternals.pdg_mark -> bool
val is_ctrl : SlicingInternals.pdg_mark -> bool
val is_addr : SlicingInternals.pdg_mark -> bool
val is_data : SlicingInternals.pdg_mark -> bool
val is_spare : SlicingInternals.pdg_mark -> bool
val compare : SlicingInternals.pdg_mark -> SlicingInternals.pdg_mark -> int
val _is_included :
SlicingInternals.pdg_mark -> SlicingInternals.pdg_mark -> bool
val pretty : Format.formatter -> SlicingInternals.pdg_mark -> unit
val to_string : SlicingInternals.pdg_mark -> string
val minus :
SlicingInternals.pdg_mark ->
SlicingInternals.pdg_mark -> SlicingInternals.pdg_mark
val merge :
SlicingInternals.pdg_mark ->
SlicingInternals.pdg_mark -> SlicingInternals.pdg_mark
val merge_user_marks :
SlicingInternals.pdg_mark ->
SlicingInternals.pdg_mark -> SlicingInternals.pdg_mark
val merge_all : SlicingInternals.pdg_mark list -> SlicingInternals.pdg_mark
val inter :
SlicingInternals.pdg_mark ->
SlicingInternals.pdg_mark -> SlicingInternals.pdg_mark
val inter_all : SlicingInternals.pdg_mark list -> SlicingInternals.pdg_mark
val combine :
SlicingInternals.pdg_mark ->
SlicingInternals.pdg_mark ->
SlicingInternals.pdg_mark * SlicingInternals.pdg_mark
val missing_output :
call:SlicingInternals.pdg_mark ->
called:SlicingInternals.pdg_mark -> SlicingInternals.pdg_mark option
val missing_input :
call:SlicingInternals.pdg_mark ->
called:SlicingInternals.pdg_mark -> SlicingInternals.pdg_mark option
end