equivalent-by-value-strict-recursive? -- vonuvoli Definition

§

Kind

§

comparator;

Extends

§

• equal? (from r7rs);

Procedure signature

§

Procedure variants:

• ((any) -> (true))
  • input: a value of type any;
  • output: a value of type true;
• ((any |2...|) -> (boolean))
  • inputs:
    • a value of type any;
    • ... -- at least 2 times;
  • output: a value of type boolean;

Exports

§

• vs:comparisons -- (vonuvoli comparisons positive);
• vs:core-procedures -- (vonuvoli core syntaxes);

Exports recursive

§

• vs:comparisons* -- (vonuvoli comparisons);
• vs:core -- (vonuvoli core);
• vs:base -- (vonuvoli base);

Aliases

§

• equal?;

Referenced-types

§

• any;
• true;
• boolean;

Categories

§

• vs:r7rs;
• vs:equivalence;