chickadee » dbc » contract-check-level

contract-check-level x ..parameter
requires (and (integer? x)
              (<= 0 x 2)
              "0: no checks"
              "1: preconditions checked"
              "2: pre- and postconditions checked")