integer? -- vonuvoli Definition

§

Kind

§

type-predicate;

Extends

§

• integer? (from r7rs);

Procedure signature

§

Procedure variants:

• ((integer |1...|) -> (true))
  • inputs:
    • a value of type integer;
    • ... -- at least one time;
  • output: a value of type true;
• ((rational |1...|) -> (false))
  • inputs:
    • a value of type rational;
    • ... -- at least one time;
  • output: a value of type false;
• ((real |1...|) -> (false))
  • inputs:
    • a value of type real;
    • ... -- at least one time;
  • output: a value of type false;
• ((complex |1...|) -> (false))
  • inputs:
    • a value of type complex;
    • ... -- at least one time;
  • output: a value of type false;
• ((number |1...|) -> (false))
  • inputs:
    • a value of type number;
    • ... -- at least one time;
  • output: a value of type false;
• ((any |1...|) -> (false))
  • inputs:
    • a value of type any;
    • ... -- at least one time;
  • output: a value of type false;

Exports

§

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

Exports recursive

§

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

Referenced-types

§

• integer;
• true;
• rational;
• false;
• real;
• complex;
• number;
• any;

Categories

§

• vs:r7rs;
• vs:arithmetic;
• vs:types;