exact-integer -- r7rs Type
§

Sub-types tree
§

Super-types
§

Super-types recursive
§

Sub-types
§

Sub-types recursive
§

Referent definitions as input
§

Referent definitions as input (recursive)
§

Note: These definitions consume an input that is a super-type.

Predicate
§

(lambda (value) (and (integer? value) (exact? value)))

Categories
§

Categories recursive
§