Impure
eff
Interpret
eff
IntoPoly
eff
IntoPolyLower
eff
impure
EffCreation
init
Fold
Loop
StateRecurse
inject
Member
intercept
Interpret
intercept1
Interpret
interceptLoop
Interpret
interceptLoop1
Interpret
interpret
Interpret
eff
interpret1
Interpret
interpretLoop
Interpret
interpretLoop1
Interpret
interpretState
Interpret
interpretState1
Interpret
into
EffOps
intoEff
IntoPolyLower
intoNoEff
IntoPoly