number-not-inf-not-nan -- 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 (number? value) (not (infinite? value)) (not (nan? value))))

Categories
§

Categories recursive
§