sig
  type t = SlicingMarks.T.t_mark
  val bottom : SlicingMarks.??.t
  val top : SlicingMarks.??.t
  val spare : SlicingMarks.??.t
  val data : SlicingMarks.??.t
  val ctrl : SlicingMarks.??.t
  val addr : SlicingMarks.??.t
  val mk_adc : bool -> bool -> bool -> SlicingMarks.??.t
  val is_bottom : SlicingMarks.??.-> bool
  val is_top : SlicingMarks.??.-> bool
  val is_included : SlicingMarks.??.-> SlicingMarks.??.-> bool
  val compare : SlicingMarks.??.-> SlicingMarks.??.-> int
  val merge : SlicingMarks.??.-> SlicingMarks.??.-> SlicingMarks.??.t
  val inter : SlicingMarks.??.-> SlicingMarks.??.-> SlicingMarks.??.t
  val combine :
    old:SlicingMarks.??.-> SlicingMarks.??.-> bool * SlicingMarks.??.t
  val minus : SlicingMarks.??.-> SlicingMarks.??.-> SlicingMarks.??.t
  val pretty : Format.formatter -> SlicingMarks.??.-> unit
end