Lines Matching defs:var
538 val var = mkVar(name, mkTypeVar (level, false, false, false), props)
543 enterResult (name, var);
544 value := var;
545 valTypeOf var (* and return its type *)
687 | Layered {var, pattern, location} =>
696 val varType = processPattern(var, enterResult, level, true, mkVar, isRec);
1893 functVar as ref(var as Value{typeOf, locations, name, instanceTypes, ...}), ...}) =>
1900 #enterVal env (name, var);
1901 functVar := var
2197 If we have we use the same ref for each var and merge the instance types. *)
2241 processVariableSet(List.map(fn FValBind{functVar=ref var, ...} => var) dec);