random-type-prop-tests-06.lsp 7.83 KB