Lines Matching refs:Error
387 \/ (? e. (comp s1 = Error e) /\ (comp s2 = Error e)))`;
408 \/ (? e. (comp c s1 = Error e) /\ (comp c s2 = Error e)))`;
681 if access_violation t then ValueState (ARB:'a#'b) t else (f2 >>= (\y. constT (x,y))) t | Error e => Error e)``,
885 \/ (? e. (comp s1 = Error e) /\ (comp s2 = Error e)))`;
1061 (forT (l + 1) h f s1 = Error e) ���
1062 (forT (l + 1) h f s2 = Error e)``