Module Lang.ClassType
type expr
=
|
Constr of Paths.Path.ClassType.t * TypeExpr.t list
|
Signature of ClassSignature.t
type t
=
{
id : Paths.Identifier.ClassType.t;
doc : Comment.docs;
virtual_ : bool;
params : TypeDecl.param list;
expr : expr;
expansion : ClassSignature.t option;
}