finish implementation of type designators
Internal to the RTE code we have implemented a type designator notation (a DSL) inspired by that of Common Lisp. In Common Lisp they are referred to as type specifiers. We would like to make these type designators part of the public interface to RTE. In order to do so we must fully implement, test, and document the DSL.
-
(satisfies f)
is a type designator, designating the set of values,x
for which(f x)
returns Boolean true. It is assumed thatf
may be called with any value, always returns, and has no side effects.