random-type-prop-tests-01.lsp 3.54 KB