Cvc5DatatypeConstructorDecl 

This struct encapsulates a datatype constructor declaration. A Cvc5DatatypeConstructorDecl is constructed via cvc5_mk_dt_cons_decl() . This is not yet a datatype constructor datatype constructor itself , but the representation of the specification for creating a datatype constructor of a datatype sort via cvc5_mk_dt_sort() and cvc5_mk_dt_sorts() .

typedef struct cvc5_dt_cons_decl_t * Cvc5DatatypeConstructorDecl : A cvc5 datatype constructor declaration. A datatype constructor declaration is a specification used for creating a datatype constructor.

Warning

doxygengroup: Cannot find group “c_cvc5dtconsdecl” in doxygen xml output for project “cvc5_c” from directory: /home/runner/work/cvc5/cvc5/build-shared/docs/api/c/doxygen/xml