(bind-func cpBBContainsVect (lambda (bb:cpBB v:cpVect) (convert (and (<= (tref bb 0) (tref v 0)) (>= (tref bb 2) (tref v 0)) (<= (tref bb 1) (tref v 1)) (>= (tref bb 3) (tref v 1))) cpBool)))