Function: SB-C::ADD-COMPLEMENT-CONSTRAINTS

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::consequent-constraints sb-c::alternative-constraints)