exact-integer-positive -- r7rs Type rational-positive;real-positive-not-inf;number-positive-not-inf;number-positive;number-not-zero-not-nan;number-not-zero;number;number-not-nan;number-positive-or-zero;number-positive-or-zero-not-inf;number-not-inf;real-positive;real-positive-or-zero;real-not-nan;complex-not-nan;complex;real;real-not-zero-not-nan;complex-not-zero-not-nan;complex-not-zero;real-not-zero;real-positive-or-zero-not-inf;real-not-inf;complex-not-inf;rational-not-zero;rational;real-not-inf-not-nan;complex-not-inf-not-nan;number-not-inf-not-nan;rational-positive-or-zero;integer-not-zero;integer;integer-positive-or-zero;exact-integer;exact-rational;exact-real;exact-complex;exact-number;number?;integer?;real?;rational?;complex?;exact?;inexact?;exact-integer?;zero?;=;+;-;*;/;expt;square;inexact;sqrt;exp;log;sin;cos;tan;asin;acos;atan;number->string;<;<=;>=;>;positive?;negative?;abs;floor/;floor-quotient;floor-remainder;truncate/;truncate-quotient;truncate-remainder;min;max;odd?;even?;floor;ceiling;truncate;round;gcd;lcm;numerator;denominator;exact;finite?;infinite?;nan?;real-part;imag-part;magnitude;angle;rationalize;make-rectangular;make-polar;Note: These definitions consume an input that is a super-type.
(lambda (value) (and (exact-integer? value) (positive? value)))