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