Structs

  • When detecting a solver overflow, we return ambiguity. Overflow can be hidden by either a fatal error in an AND or a trivial success in an OR.

Traits