module Languages: sig .. end
sig
end
module type Definition = sig .. end
module Library: sig .. end
module Make: functor (M : Definition) -> sig .. end
functor (
M
:
Definition
) ->