Module Lang.FunctorParameter
type parameter={id : Paths.Identifier.Module.t;expr : ModuleType.expr;expansion : Module.expansion option;}type t=|Unit|Named of parameter
Lang.FunctorParametertype parameter = {id : Paths.Identifier.Module.t; |
expr : ModuleType.expr; |
expansion : Module.expansion option; |
}type t = | Unit |
| Named of parameter |