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