positive? -- vonuvoli Definition

§

Kind

§

predicate;

Extends

§

• positive? (from r7rs);

Procedure signature

§

Procedure variants:

• ((real-zero |1...|) -> (false))
  • inputs:
    • a value of type real-zero;
    • ... -- at least one time;
  • output: a value of type false;
• ((real-positive |1...|) -> (true))
  • inputs:
    • a value of type real-positive;
    • ... -- at least one time;
  • output: a value of type true;
• ((real-negative |1...|) -> (false))
  • inputs:
    • a value of type real-negative;
    • ... -- 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;

Exports

§

• vs:arithmetic -- (vonuvoli arithmetic);

Exports recursive

§

• vs:base -- (vonuvoli base);

Referenced-types

§

• real-zero;
• false;
• real-positive;
• true;
• real-negative;
• real;

Categories

§

• vs:r7rs;
• vs:arithmetic;