On this page:
PLAI Lazy
7.7

PLAI Lazy

 #lang plai-lazy package: plai-lazy

The plai-lazy language is like lazy augmented with lazy versions of the define-type and type-case forms of plai; contracts specified in define-type are not checked, however, because checking forces evaluation (possibly unnecessarily). Variants of test, test/exn, and test/pred forms are also provided, and they force evaluation of the test and expected-result expressions.