Searched defs:guardedAlt (Results 1 – 1 of 1) sorted by relevance
27 guardedAlt (TAGuard g body) cont = tIfThenElse (tr g) (tr body) (tr cont) function28 guardedAlt _ _ = __IMPOSSIBLE__ function