Uses of Record Class
org.kink_lang.kink.internal.program.itree.SymValPair

Packages that use SymValPair

Package	Description
org.kink_lang.kink.internal.program.itree	Itree (intermediate tree) representation of Kink programs.

Uses of SymValPair in org.kink_lang.kink.internal.program.itree

Methods in org.kink_lang.kink.internal.program.itree that return types with arguments of type SymValPair

Modifier and Type	Method	Description
List<SymValPair>	NoTraitNewValItree.symValPairs()	Returns the value of the symValPairs record component.
List<SymValPair>	TraitNewValItree.symValPairs()	Returns the value of the symValPairs record component.

Constructor parameters in org.kink_lang.kink.internal.program.itree with type arguments of type SymValPair

Modifier	Constructor	Description
	NoTraitNewValItree(List<SymValPair> symValPairs, int pos)	Constructs an itree of invocation in the form new_val('X' x 'Y' y).
	TraitNewValItree(Itree trait, int spreadPos, List<SymValPair> symValPairs, int pos)	Constructs an itree.