Class Core.Con0Pat

  • Enclosing class:
    Core

    public static class Core.Con0Pat
    extends Core.Pat
    Type constructor pattern with no argument.

    For example, in "fun nvl NIL = 0 | OPTION x = x", "NIL" is a zero-arg type constructor pattern.

    See Also:
    Core.ConPat