Forked from
cmucl / cmucl
Source project has a limited visibility.
-
dtc authored
selection of a template for results readers assumes the type check is done (uses the derived type which is the intersection of the proven and asserted types).
dtc authoredselection of a template for results readers assumes the type check is done (uses the derived type which is the intersection of the proven and asserted types).