Lines Matching refs:v1
67 (ds',Result v1) => State (ds',(v,v1))
81 fun (f >>> g) = (f >> (fn (v,v1) => (v,g v1)))
87 (* add result v1 to the state *)
88 fun return v1 (State (d,v)) = State (d,(v,v1))
92 fun pack (State (d,((v,v1),v2))) = State (d,(v,(v1,v2)))
113 (State (ds,(v,v1)),_) =>
117 in State (ds',(v,v1::vs)) end
137 |State (ds',(v',v1)) => State (ds',(v',SOME(v1)));
481 >>> (fn v1 => case v1 of