vars: Get Variables

Description Usage Arguments Details Value

Description

This function returns a list of all variables in a term or constrain.

Usage

1
vars(term, generic = FALSE)

Arguments

term

(Term|Constraint) The term to search for variables.

generic

(logical) Should generic variables be included in the list?

Details

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.

Value

A list of Variable objects.


nick-ulle/typesys documentation built on Jan. 21, 2020, 5:13 p.m.