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.??.t -> bool
val is_top : SlicingMarks.??.t -> bool
val is_included : SlicingMarks.??.t -> SlicingMarks.??.t -> bool
val compare : SlicingMarks.??.t -> SlicingMarks.??.t -> int
val merge : SlicingMarks.??.t -> SlicingMarks.??.t -> SlicingMarks.??.t
val inter : SlicingMarks.??.t -> SlicingMarks.??.t -> SlicingMarks.??.t
val combine :
old:SlicingMarks.??.t -> SlicingMarks.??.t -> bool * SlicingMarks.??.t
val minus : SlicingMarks.??.t -> SlicingMarks.??.t -> SlicingMarks.??.t
val pretty : Format.formatter -> SlicingMarks.??.t -> unit
end