2 ms·SBCL actually does a lot of inferred type checking when type declarations are present.by jbjohns 18y agoSBCL actually does a lot of inferred type checking when type declarations are present.