Basis.PersistentTable
module type S = sig ... end
module type MAKER = functor (O : Stdlib.Map.OrderedType) -> S with type key = O.t
module M : MAKER