random-type-prop-tests.lsp 664 Bytes