![]() When the properties argument for `make-struct-type` is non-empty, then we cant; guarantee that `make-struct-type` succeeds, but if it does, then we can still know that the result is a structure type and (as long as `prop:chaperone-unsafe-undefined` is not involved) the properties don't affect the constructor, predicate, selector, or mutators. |
||
---|---|---|
.. | ||
mzlib | ||
tests/racket | ||
info.rkt | ||
LICENSE.txt |