pub type Cvc5Result = *mut cvc5_result_t;
Encapsulation of a three-valued solver result, with explanations.