sig
type t = SlicingMarks.T.t_pdg_mark
val create :
m1:SlicingInternals.t_mark ->
m2:SlicingInternals.t_mark -> SlicingInternals.t_pdg_mark
val mk_m1 : SlicingInternals.t_mark -> SlicingInternals.t_pdg_mark
val mk_m2 : SlicingInternals.t_mark -> SlicingInternals.t_pdg_mark
val mk_m :
SlicingInternals.t_mark ->
SlicingInternals.t_mark -> SlicingInternals.t_pdg_mark
val mk_m1_data : SlicingInternals.t_pdg_mark
val mk_m1_addr : SlicingInternals.t_pdg_mark
val mk_m1_ctrl : SlicingInternals.t_pdg_mark
val mk_m1_cav : SlicingInternals.t_pdg_mark
val mk_m1_spare : SlicingInternals.t_pdg_mark
val mk_gen_spare : SlicingInternals.t_pdg_mark
val bottom : SlicingInternals.t_pdg_mark
val user_mark : SlicingMarks.T.t_pdg_mark -> SlicingMarks.Mark.t
val is_bottom : SlicingMarks.T.t_pdg_mark -> bool
val is_top : SlicingMarks.T.t_pdg_mark -> bool
val is_ctrl : SlicingMarks.T.t_pdg_mark -> bool
val is_addr : SlicingMarks.T.t_pdg_mark -> bool
val is_data : SlicingMarks.T.t_pdg_mark -> bool
val is_spare : SlicingMarks.T.t_pdg_mark -> bool
val compare : 'a -> 'a -> int
val is_included :
SlicingMarks.T.t_pdg_mark -> SlicingMarks.T.t_pdg_mark -> bool
val pretty : Format.formatter -> SlicingMarks.T.t_pdg_mark -> unit
val to_string : SlicingMarks.T.t_pdg_mark -> string
val minus :
SlicingMarks.T.t_pdg_mark ->
SlicingMarks.T.t_pdg_mark -> SlicingInternals.t_pdg_mark
val merge :
SlicingMarks.T.t_pdg_mark ->
SlicingMarks.T.t_pdg_mark -> SlicingInternals.t_pdg_mark
val merge_user_marks :
SlicingMarks.T.t_pdg_mark ->
SlicingMarks.T.t_pdg_mark -> SlicingInternals.t_pdg_mark
val merge_all : SlicingMarks.T.t_pdg_mark list -> SlicingMarks.T.t_pdg_mark
val inter :
SlicingMarks.T.t_pdg_mark ->
SlicingMarks.T.t_pdg_mark -> SlicingInternals.t_pdg_mark
val inter_all : SlicingMarks.T.t_pdg_mark list -> SlicingMarks.T.t_pdg_mark
val combine :
SlicingMarks.T.t_pdg_mark ->
SlicingMarks.T.t_pdg_mark ->
SlicingInternals.t_pdg_mark * SlicingInternals.t_pdg_mark
val missing_output :
call:SlicingMarks.T.t_pdg_mark ->
called:SlicingMarks.T.t_pdg_mark -> SlicingInternals.t_pdg_mark option
val missing_input :
call:SlicingMarks.T.t_pdg_mark ->
called:SlicingMarks.T.t_pdg_mark -> SlicingInternals.t_pdg_mark option
end