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