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