Lines Matching refs:var
9 type 'a var
10 val var: string -> 'a var
11 val peek: 'a var -> 'a option
12 val await: 'a var -> 'a
13 val assign: 'a var -> 'a -> unit
19 abstype 'a var = Var of
23 var: 'a SingleAssignment.saref}
26 fun var name = Var
30 var = SingleAssignment.saref ()};
32 fun peek (Var {var, ...}) = SingleAssignment.savalue var;
46 fun assign (v as Var {name, lock, cond, var}) x =
52 (SingleAssignment.saset (var, x); ConditionVar.broadcast cond)) ()));