Class Core.RecordPat

Enclosing class:
Core

public static class Core.RecordPat extends Core.Pat
Record pattern.