random-type-prop-tests-07.lsp 5.15 KB