Arguments

.funs

Parameter for scoped functions.

.vars

Parameter for scoped functions.

.predicate

Parameter for scoped functions.

...

Parameter for scoped functions.