1\DOC dest_cond
2
3\TYPE {dest_cond : term -> term * term * term}
4
5\SYNOPSIS
6Breaks apart a conditional into the three terms involved.
7
8\DESCRIBE
9If {M} has the form {if t then t1 else t2} then {dest_cond M}
10returns {(t,t1,t2)}.
11
12\FAILURE
13Fails if {M} is not a conditional.
14
15\SEEALSO
16boolSyntax.mk_cond, boolSyntax.is_cond.
17\ENDDOC
18