module Meta: sig .. end
sig
end
module type META_LOC = sig .. end
module MetaLoc: sig .. end
module MetaGhostLoc: sig .. end
module MetaLocVar: sig .. end
module Make: functor (MetaLoc : META_LOC) -> sig .. end
functor (
MetaLoc
:
META_LOC
) ->
module MakeLambda: functor (MetaLoc : META_LOC) -> sig .. end
module MakeAbstractLambda: functor (MetaLoc : META_LOC) -> sig .. end