dest_select : term -> term * term

SYNOPSIS

Breaks apart a choice term into selected variable and body.

DESCRIPTION

dest_select is a term destructor for choice terms:

   dest_select `@var. t`

returns (`var`,`t`).

FAILURE CONDITIONS

Fails with dest_select if term is not an epsilon-term.

SEE ALSO

mk_select, is_select.