module Rel_list: sig .. end
sig
end
module type EL = sig .. end
module Make_el: functor (V : Rel.Dom.V) -> EL with type t = V.t
functor (
V
:
Rel.Dom.V
) ->
EL
with type t = V.t
Make_el (V)
module Make: functor (E : EL) -> sig .. end
E
Make (E)