mk_select : term * term -> term

SYNOPSIS: Constructs a choice binding.
DESCRIPTION: The call mk_select(`v`,`t`) returns the choice term `@v. t`.
FAILURE CONDITIONS: Fails if v is not a variable.
SEE ALSO: is_slect, mk_select.