Class Core.ListPat

Enclosing class:
Core

public static class Core.ListPat extends Core.Pat
List pattern.

For example, "[x, y]" in "fun sum [x, y] = x + y".