sig
val bottom : SlicingInternals.mark
val spare : SlicingInternals.mark
val data : SlicingInternals.mark
val ctrl : SlicingInternals.mark
val addr : SlicingInternals.mark
val mk_adc : bool -> bool -> bool -> SlicingInternals.mark
val is_bottom : SlicingInternals.mark -> bool
val is_top : SlicingInternals.mark -> bool
val is_included : SlicingInternals.mark -> SlicingInternals.mark -> bool
val merge :
SlicingInternals.mark -> SlicingInternals.mark -> SlicingInternals.mark
val inter :
SlicingInternals.mark -> SlicingInternals.mark -> SlicingInternals.mark
val combine :
old:SlicingInternals.mark ->
SlicingInternals.mark -> bool * SlicingInternals.mark
val minus :
SlicingInternals.mark -> SlicingInternals.mark -> SlicingInternals.mark
val pretty : Format.formatter -> SlicingInternals.mark -> unit
end