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