sig
type t
val bottom : SlicingMarks.T_Mark.t
val is_bottom : SlicingMarks.T_Mark.t -> bool
val merge :
SlicingMarks.T_Mark.t -> SlicingMarks.T_Mark.t -> SlicingMarks.T_Mark.t
val inter_all : SlicingMarks.T_Mark.t list -> SlicingMarks.T_Mark.t
val merge_user_marks :
SlicingMarks.T_Mark.t -> SlicingMarks.T_Mark.t -> SlicingMarks.T_Mark.t
val missing_input :
call:SlicingMarks.T_Mark.t ->
called:SlicingMarks.T_Mark.t -> SlicingMarks.T_Mark.t option
val missing_output :
call:SlicingMarks.T_Mark.t ->
called:SlicingMarks.T_Mark.t -> SlicingMarks.T_Mark.t option
val mk_gen_spare : SlicingMarks.T_Mark.t
val pretty : Format.formatter -> SlicingMarks.T_Mark.t -> unit
end