Description Usage Arguments Details Value
This function returns a list of all variables in a term or constrain.
1 |
term |
(Term|Constraint) The term to search for variables. |
generic |
(logical) Should generic variables be included in the list? |
In an ImplicitInstance constraint, some variables in the right-hand term may
be generic rather than monomorphic. Generic variables are replaced with new
variables when a constraint is solved, whereas monomorphic variables are
not. The generic
parameter controls whether generic variable are included
in returned the list of variables.
A list of Variable objects.
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.