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