Module Lang.ClassTypeSource

type expr =
  1. | Constr of Paths.Path.ClassType.t * TypeExpr.t list
  2. | Signature of ClassSignature.t
type t = {
  1. id : Paths.Identifier.ClassType.t;
  2. locs : Paths.Identifier.SourceLocation.t option;
  3. doc : Comment.docs;
  4. virtual_ : bool;
  5. params : TypeDecl.param list;
  6. expr : expr;
  7. expansion : ClassSignature.t option;
}