not-binding? -- vonuvoli Definition

§

Kind

§

predicate;

Exports

§

• vs:types-negated -- (vonuvoli types negated);
• vs:contexts -- (vonuvoli contexts);

Exports recursive

§

• vs:types* -- (vonuvoli types);
• vs:base -- (vonuvoli base);