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.