random-type-prop-tests-09.lsp 22.6 KB