record-immutable? -- vonuvoli Definition

§

Kind

§

type-predicate;

Exports

§

• vs:types -- (vonuvoli types positive);
• vs:records -- (vonuvoli records);

Exports recursive

§

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