----------------------------------------------------------------------
mk_select                                                 (boolSyntax)
----------------------------------------------------------------------
mk_select : term * term -> term

SYNOPSIS
Constructs a choice-term.

DESCRIBE
If {v} is a variable and {t} is a term of type {bool}, then
{mk_select (v,t)} returns {@var. t}.

FAILURE
Fails if {v} is not a variable or if {t} is not of type {bool}.

SEEALSO
boolSyntax.dest_select, boolSyntax.is_select.

----------------------------------------------------------------------