module NonRelational: sig .. end
sig
end
module type Domain = sig .. end
module MakeRelational: functor (D : Domain) -> Relational.Domain
functor (
D
:
Domain
) ->
Relational.Domain