module Sl_mark: Datatype.S_with_collections with type t = SlicingInternals.pdg_mark
Datatype.S_with_collections
with type t = SlicingInternals.pdg_mark
include Datatype.S
module Set: Datatype.Set with type elt = t
Datatype.Set
with type elt = t
module Map: Datatype.Map with type key = t
Datatype.Map
with type key = t
module Hashtbl: Datatype.Hashtbl with type key = t
Datatype.Hashtbl