Class: Forall

Represents a universal quantification or forall predicate.

Constructors

Constructor

new Forall(condition, action, loc?): Forall

Parameters

Parameter	Type
condition	Expression
action	Expression
loc?	SourceLocation

Returns

Forall

Overrides

ASTNode.constructor