130 void addFunc(venv &ve, access *a, ty *result, symbol id,  in addFunc()
149 void addFunc(venv &ve, bltin f, ty *result, symbol name,   in addFunc()
178 void addOpenFunc(venv &ve, bltin f, ty *result, symbol name)  in addOpenFunc()
192 void addRestFunc(venv &ve, bltin f, ty *result, symbol name, formal frest,  in addRestFunc()
218 void addRealFunc0(venv &ve, bltin fcn, symbol name)  in addRealFunc0()
224 void addRealFunc(venv &ve, symbol name)  in addRealFunc()
233 void addRealFunc2(venv &ve, bltin fcn, symbol name)  in addRealFunc2()
247 void addRealIntFunc(venv& ve, symbol name, symbol arg1,  in addRealIntFunc()
253 void addInitializer(venv &ve, ty *t, access *a)  in addInitializer()
258 void addInitializer(venv &ve, ty *t, bltin f)  in addInitializer()
271 void addExplicitCast(venv &ve, ty *target, ty *source, access *a) {  in addExplicitCast()
277 void addCast(venv &ve, ty *target, ty *source, access *a) {  in addCast()
282 void addExplicitCast(venv &ve, ty *target, ty *source, bltin f) {  in addExplicitCast()
291 void addCast(venv &ve, ty *target, ty *source, bltin f) {  in addCast()
301 void addVariable(venv &ve, T *ref, ty *t, symbol name,  in addVariable()
309 void addVariable(venv &ve, T value, ty *t, symbol name,  in addVariable()
320 void addConstant(venv &ve, T value, ty *t, symbol name,  in addConstant()
344 void addInitializers(venv &ve)  in addInitializers()
362 void addCasts(venv &ve)  in addCasts()
398 void addTupleOperators(venv &ve)  in addTupleOperators()
416 void addGuideOperators(venv &ve)  in addGuideOperators()
425 void addSimpleOperator(venv &ve, bltin f, ty *t, symbol name)  in addSimpleOperator()
429 void addBooleanOperator(venv &ve, bltin f, ty *t, symbol name)  in addBooleanOperator()
435 void addArray2Array2Op(venv &ve, ty *t3, symbol name)  in addArray2Array2Op()
441 void addOpArray2(venv &ve, ty *t1, symbol name, ty *t3)  in addOpArray2()
447 void addArray2Op(venv &ve, ty *t1, symbol name, ty *t3)  in addArray2Op()
453 void addOps(venv &ve, ty *t1, symbol name, ty *t2)  in addOps()
462 void addBooleanOps(venv &ve, ty *t1, symbol name, ty *t2)  in addBooleanOps()
473 void addWrite(venv &ve, bltin f, ty *t1, ty *t2)  in addWrite()
482 void addUnorderedOps(venv &ve, ty *t1, ty *t2, ty *t3, ty *t4)  in addUnorderedOps()
527 void addBinOps(venv &ve, ty *t1, ty *t2, ty *t3, ty *t4, symbol name)  in addBinOps()
535 void addOrderedOps(venv &ve, ty *t1, ty *t2, ty *t3, ty *t4)  in addOrderedOps()
555 void addBasicOps(venv &ve, ty *t1, ty *t2, ty *t3, ty *t4, bool integer=false,  in addBasicOps()
579 void addOps(venv &ve, ty *t1, ty *t2, ty *t3, ty *t4, bool integer=false,  in addOps()
598 void addArrayOps(venv &ve, types::array *t)  in addArrayOps()
660 void addRecordOps(venv &ve, record *r)  in addRecordOps()
670 void addFunctionOps(venv &ve, function *f)  in addFunctionOps()
676 void addOperators(venv &ve)   in addOperators()
750 dummyRecord *createDummyRecord(venv &ve, symbol name)  in createDummyRecord()
802 void base_venv(venv &ve)  in base_venv()