Class Core.NamedPat

All Implemented Interfaces:
Comparable<Core.NamedPat>
Direct Known Subclasses:
Core.AsPat, Core.IdPat
Enclosing class:
Core

public abstract static class Core.NamedPat extends Core.Pat implements Comparable<Core.NamedPat>
Base class for named patterns (Core.IdPat and Core.AsPat).

Implements Comparable so that names are sorted correctly for record fields (see RecordType.ORDERING).

A Core.ValDecl must be one of these.