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