random-type-prop-tests-02.lsp 6.32 KB