Uses of Record Class
org.kink_lang.kink.internal.program.itree.LetRecItree.LvarFunPair

Packages that use LetRecItree.LvarFunPair

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

Uses of LetRecItree.LvarFunPair in org.kink_lang.kink.internal.program.itree

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

Modifier and Type	Method	Description
List<LetRecItree.LvarFunPair>	LetRecItree.lvarFunPairs()	Returns the value of the lvarFunPairs record component.

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

Modifier	Constructor	Description
	LetRecItree(List<LetRecItree.LvarFunPair> lvarFunPairs, int pos)	Constructs an itree.