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.Constructortype t = {id : Odoc_model.Paths.Identifier.Extension.t; |
doc : Odoc_model.Comment.docs; |
args : TypeDecl.Constructor.argument; |
res : TypeExpr.t option; |
}