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