chickadee » chicken » types » assume

(assume ((VARIABLE TYPE) ...) BODY ...)syntax

Declares that at the start of execution of BODY .., the variables will be of the given types. This is equivalent to

(let ((VARIABLE (the TYPE VARIABLE)) ...) 
  BODY ...)