tcs3.cspcasl revision 4eaeba586d49aa0761ee2bb6d20efba91562cef6
31cee6f634ce07aa2c3514a506f93830f91f14a5Lennart Poetteringdata sorts S, T
31cee6f634ce07aa2c3514a506f93830f91f14a5Lennart Poettering ops f: S ->? T
31cee6f634ce07aa2c3514a506f93830f91f14a5Lennart Poettering . forall x: S . not def f(x)
31cee6f634ce07aa2c3514a506f93830f91f14a5Lennart Poetteringprocess ?x: S -> f(x) -> SKIP [|T|] ?y : T -> if def y then P else Q