Function: SB-C::ADD-TEST-CONSTRAINT

package type github

No description.

Lambda list

(sb-c::quick-p sb-c::fun sb-c::x sb-c::y sb-c::not-p sb-c::constraints sb-c::target)