pub type Op = *mut cvc5_op_t;
A cvc5 operator.
An operator is a term that represents certain operators, instantiated with its required parameters, e.g., a Term of kind #CVC5_KIND_BITVECTOR_EXTRACT.