module Finite_map: sig .. end
sig
end
module type Fmap = sig .. end
module Fmap_map: functor (Key : Set.OrderedType) -> sig .. end
functor (
Key
:
Set.OrderedType
) ->
module type Dmap = sig .. end
module Dmap_map: functor (Key : Set.OrderedType) -> sig .. end