bound

Instantiate \c Bound from a single expression expr.

Makes it easier to add free-contants to existing Bounded variables.

Members

Variables

bound
auto bound;
Undocumented in source.

Meta