sig
  val mk_m1_spare : SlicingInternals.pdg_mark
  val mk_gen_spare : SlicingInternals.pdg_mark
  val is_top : SlicingInternals.pdg_mark -> bool
  val is_ctrl : SlicingInternals.pdg_mark -> bool
  val is_addr : SlicingInternals.pdg_mark -> bool
  val is_data : SlicingInternals.pdg_mark -> bool
  val is_spare : SlicingInternals.pdg_mark -> bool
  val compare : SlicingInternals.pdg_mark -> SlicingInternals.pdg_mark -> int
  val _is_included :
    SlicingInternals.pdg_mark -> SlicingInternals.pdg_mark -> bool
  val pretty : Format.formatter -> SlicingInternals.pdg_mark -> unit
  val to_string : SlicingInternals.pdg_mark -> string
  val minus :
    SlicingInternals.pdg_mark ->
    SlicingInternals.pdg_mark -> SlicingInternals.pdg_mark
  val merge :
    SlicingInternals.pdg_mark ->
    SlicingInternals.pdg_mark -> SlicingInternals.pdg_mark
  val merge_user_marks :
    SlicingInternals.pdg_mark ->
    SlicingInternals.pdg_mark -> SlicingInternals.pdg_mark
  val merge_all : SlicingInternals.pdg_mark list -> SlicingInternals.pdg_mark
  val inter :
    SlicingInternals.pdg_mark ->
    SlicingInternals.pdg_mark -> SlicingInternals.pdg_mark
  val inter_all : SlicingInternals.pdg_mark list -> SlicingInternals.pdg_mark
  val combine :
    SlicingInternals.pdg_mark ->
    SlicingInternals.pdg_mark ->
    SlicingInternals.pdg_mark * SlicingInternals.pdg_mark
  val missing_output :
    call:SlicingInternals.pdg_mark ->
    called:SlicingInternals.pdg_mark -> SlicingInternals.pdg_mark option
  val missing_input :
    call:SlicingInternals.pdg_mark ->
    called:SlicingInternals.pdg_mark -> SlicingInternals.pdg_mark option
end