Search

( call-with-current-continuation ( procedure? proc ) ) *
Typing of parameters and result
( proc ( procedure? k ) ) *