Module Extension.Constructor
type t
=
{
id : Paths.Identifier.Extension.t;
doc : Comment.docs;
args : TypeDecl.Constructor.argument;
res : TypeExpr.t option;
}
Extension.Constructor
type t
=
{
id : Paths.Identifier.Extension.t; |
doc : Comment.docs; |
args : TypeDecl.Constructor.argument; |
res : TypeExpr.t option; |
}