is_select : (term -> bool)

SYNOPSIS
Tests a term to see if it is a choice binding.

DESCRIBE
is_select "@var. t" returns true. If the term is not an epsilon-term the result is false.

FAILURE
Never fails.

SEEALSO  mk_select,   dest_select

HOL  Kananaskis 0