Type system: contains-unknown-type also walks down negation types
Low occurrence, but negated unknown types can have pretty far-ranging
effects (e.g., `(and vector (not foo)), where 'foo is eventually
Sign up for the SourceForge newsletter:
You seem to have CSS turned off.
Please don't fill out this field.