8.15.0.4
3.10 Types
| (require sicm/kernel/types) | package: rktsicm |
procedure
(*down* ??? ...) → '???
??? : any? (*function* ??? ...) → '??? ??? : any? (*matrix* ??? ...) → '??? ??? : any? (*number* ??? ...) → '??? ??? : any? (*up* ??? ...) → '??? ??? : any? (*vector* ??? ...) → '??? ??? : any? (abstract-down-type-tag ??? ...) → '??? ??? : any? (abstract-down? ??? ...) → '??? ??? : any? (abstract-function-type-tag ??? ...) → '??? ??? : any? (abstract-function? ??? ...) → '??? ??? : any? (abstract-matrix-type-tag ??? ...) → '??? ??? : any? (abstract-matrix? ??? ...) → '??? ??? : any? (abstract-number? ??? ...) → '??? ??? : any? (abstract-predicate ??? ...) → '??? ??? : any? (abstract-quantity? ??? ...) → '??? ??? : any? (abstract-structure? ??? ...) → '??? ??? : any? (abstract-type-tag ??? ...) → '??? ??? : any? (abstract-type-tags ??? ...) → '??? ??? : any? (abstract-up-type-tag ??? ...) → '??? ??? : any? (abstract-up? ??? ...) → '??? ??? : any? (abstract-vector-type-tag ??? ...) → '??? ??? : any? (abstract-vector? ??? ...) → '??? ??? : any? (add-to-numerical-quantity? ??? ...) → '??? ??? : any? (cofunction? ??? ...) → '??? ??? : any? (compound-type-tag? ??? ...) → '??? ??? : any? (compound-type-tags ??? ...) → '??? ??? : any? (concrete-predicate ??? ...) → '??? ??? : any? (differential-type-tag ??? ...) → '??? ??? : any? (differential? ??? ...) → '??? ??? : any? (down-quantity? ??? ...) → '??? ??? : any? (down-type-tag ??? ...) → '??? ??? : any? (down? ??? ...) → '??? ??? : any? (f:expression ??? ...) → '??? ??? : any? (function-quantity? ??? ...) → '??? ??? : any? (function-type-tag ??? ...) → '??? ??? : any? (function? ??? ...) → '??? ??? : any? (literal-number? ??? ...) → '??? ??? : any? (literal-real? ??? ...) → '??? ??? : any? (make-type ??? ...) → '??? ??? : any? (matrix-quantity? ??? ...) → '??? ??? : any? (matrix-type-tag ??? ...) → '??? ??? : any? (matrix? ??? ...) → '??? ??? : any? (not-compound? ??? ...) → '??? ??? : any? (not-d-c-u? ??? ...) → '??? ??? : any? (not-differential-or-compound? ??? ...) → '??? ??? : any? (not-differential? ??? ...) → '??? ??? : any? (not-operator? ??? ...) → '??? ??? : any? (not-series? ??? ...) → '??? ??? : any? (number-type-tag ??? ...) → '??? ??? : any? (numerical-quantity? ??? ...) → '??? ??? : any? (operator-type-tag ??? ...) → '??? ??? : any? (operator? ??? ...) → '??? ??? : any? (quantity-predicate ??? ...) → '??? ??? : any? (quaternion-quantity? ??? ...) → '??? ??? : any? (quaternion-type-tag ??? ...) → '??? ??? : any? (quaternion? ??? ...) → '??? ??? : any? (scalar? ??? ...) → '??? ??? : any? (series-type-tag ??? ...) → '??? ??? : any? (series? ??? ...) → '??? ??? : any? (square-abstract-matrix? ??? ...) → '??? ??? : any? (square-matrix? ??? ...) → '??? ??? : any? (structure? ??? ...) → '??? ??? : any? (type-tag ??? ...) → '??? ??? : any? (type-tags ??? ...) → '??? ??? : any? (typed-function? ??? ...) → '??? ??? : any? (typed-or-abstract-function? ??? ...) → '??? ??? : any? (unit-type-tag ??? ...) → '??? ??? : any? (units? ??? ...) → '??? ??? : any? (up-quantity? ??? ...) → '??? ??? : any? (up-type-tag ??? ...) → '??? ??? : any? (up? ??? ...) → '??? ??? : any? (vector-quantity? ??? ...) → '??? ??? : any? (vector-type-tag ??? ...) → '??? ??? : any? (with-units-type-tag ??? ...) → '??? ??? : any? (with-units? ??? ...) → '??? ??? : any?