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