The fundamental binding form. The type Bind p t allows you to
place a pattern p in a term t such that the names in the
pattern scope over the term. Use bind
and unbind and lunbind
to work with Bind p t
A term of type Bind p t is a term that binds the free
variable occurrences of the variables in pattern p in the term
t. In the overall term, those variables are now bound. See also
bind and
unbind and
lunbind