is_select : term -> bool

SYNOPSIS: Tests a term to see if it is a choice binding.
DESCRIPTION: is_select `@var. t` returns true. If the term is not an epsilon-term the result is false.
FAILURE CONDITIONS: Never fails.
SEE ALSO: mk_select, dest_select.