module Make_typename: Make_typename
Make_typename
module Make0: functor (X : Named_intf.S0) -> sig .. end
functor (
X
:
Named_intf.S0
) ->
sig
end
module Make1: functor (X : Named_intf.S1) -> sig .. end
Named_intf.S1
module Make2: functor (X : Named_intf.S2) -> sig .. end
Named_intf.S2
module Make3: functor (X : Named_intf.S3) -> sig .. end
Named_intf.S3
module Make4: functor (X : Named_intf.S4) -> sig .. end
Named_intf.S4
module Make5: functor (X : Named_intf.S5) -> sig .. end
Named_intf.S5