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: