Class: Exist

Represents an existential quantification.

Constructors

Constructor

new Exist(identifier, patterns, loc?): Exist

Parameters

Parameter	Type
identifier	SymbolPrimitive
patterns	Pattern[]
loc?	SourceLocation

Returns

Exist

Overrides

ASTNode.constructor