random-type-prop-tests-10.lsp 3.51 KB