Searched defs:emptyVarEnv (Results 1 – 4 of 4) sorted by relevance
516 emptyVarEnv = emptyUFM function
517 emptyVarEnv = emptyUFM function
496 emptyVarEnv = emptyUFM function