module Kwlookup: sig .. end
sig
end
module type OrderedType = sig .. end
module type S = sig .. end
module Map: functor (Ord : OrderedType) -> S with type key = Ord.t
functor (
Ord
:
OrderedType
) ->
S
with type key = Ord.t
module Alist: functor (Ord : OrderedType) -> S with type key = Ord.t
module Hash: functor (Ord : OrderedType) -> S with type key = Ord.t