pub type DatatypeConstructorDecl = *mut cvc5_dt_cons_decl_t;Expand description
A cvc5 datatype constructor declaration. A datatype constructor declaration is a specification used for creating a datatype constructor.
pub type DatatypeConstructorDecl = *mut cvc5_dt_cons_decl_t;A cvc5 datatype constructor declaration. A datatype constructor declaration is a specification used for creating a datatype constructor.