sig
  type t = SlicingMarks.T.t_pdg_mark
  val create :
    m1:SlicingInternals.t_mark ->
    m2:SlicingInternals.t_mark -> SlicingInternals.t_pdg_mark
  val mk_m1 : SlicingInternals.t_mark -> SlicingInternals.t_pdg_mark
  val mk_m2 : SlicingInternals.t_mark -> SlicingInternals.t_pdg_mark
  val mk_m :
    SlicingInternals.t_mark ->
    SlicingInternals.t_mark -> SlicingInternals.t_pdg_mark
  val mk_m1_data : SlicingInternals.t_pdg_mark
  val mk_m1_addr : SlicingInternals.t_pdg_mark
  val mk_m1_ctrl : SlicingInternals.t_pdg_mark
  val mk_m1_cav : SlicingInternals.t_pdg_mark
  val mk_m1_spare : SlicingInternals.t_pdg_mark
  val mk_gen_spare : SlicingInternals.t_pdg_mark
  val bottom : SlicingInternals.t_pdg_mark
  val user_mark : SlicingMarks.T.t_pdg_mark -> SlicingMarks.Mark.t
  val is_bottom : SlicingMarks.T.t_pdg_mark -> bool
  val is_top : SlicingMarks.T.t_pdg_mark -> bool
  val is_ctrl : SlicingMarks.T.t_pdg_mark -> bool
  val is_addr : SlicingMarks.T.t_pdg_mark -> bool
  val is_data : SlicingMarks.T.t_pdg_mark -> bool
  val is_spare : SlicingMarks.T.t_pdg_mark -> bool
  val compare : '-> '-> int
  val is_included :
    SlicingMarks.T.t_pdg_mark -> SlicingMarks.T.t_pdg_mark -> bool
  val pretty : Format.formatter -> SlicingMarks.T.t_pdg_mark -> unit
  val to_string : SlicingMarks.T.t_pdg_mark -> string
  val minus :
    SlicingMarks.T.t_pdg_mark ->
    SlicingMarks.T.t_pdg_mark -> SlicingInternals.t_pdg_mark
  val merge :
    SlicingMarks.T.t_pdg_mark ->
    SlicingMarks.T.t_pdg_mark -> SlicingInternals.t_pdg_mark
  val merge_user_marks :
    SlicingMarks.T.t_pdg_mark ->
    SlicingMarks.T.t_pdg_mark -> SlicingInternals.t_pdg_mark
  val merge_all : SlicingMarks.T.t_pdg_mark list -> SlicingMarks.T.t_pdg_mark
  val inter :
    SlicingMarks.T.t_pdg_mark ->
    SlicingMarks.T.t_pdg_mark -> SlicingInternals.t_pdg_mark
  val inter_all : SlicingMarks.T.t_pdg_mark list -> SlicingMarks.T.t_pdg_mark
  val combine :
    SlicingMarks.T.t_pdg_mark ->
    SlicingMarks.T.t_pdg_mark ->
    SlicingInternals.t_pdg_mark * SlicingInternals.t_pdg_mark
  val missing_output :
    call:SlicingMarks.T.t_pdg_mark ->
    called:SlicingMarks.T.t_pdg_mark -> SlicingInternals.t_pdg_mark option
  val missing_input :
    call:SlicingMarks.T.t_pdg_mark ->
    called:SlicingMarks.T.t_pdg_mark -> SlicingInternals.t_pdg_mark option
end