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