Class Core.RecordSelector

  • Enclosing class:
    Core

    public static class Core.RecordSelector
    extends Core.Exp
    Record selector function.