- | If (p_guard, p) ->
- sprintf "\\IF \\[%s\\] \\[%s\\]" (pp_term p_guard) (pp_term p)
- | Unless (p_guard, p) ->
- sprintf "\\UNLESS \\[%s\\] \\[%s\\]" (pp_term p_guard) (pp_term p)
+ | If (p_test, p_true, p_false) ->
+ sprintf "\\IF \\[%s\\] \\[%s\\] \\[%s\\]"
+ (pp_term p_test) (pp_term p_true) (pp_term p_false)
+ | Fail -> "\\FAIL"