Skip to main content

dt_decl_get_num_constructors

cvc5_sys

Function dt_decl_get_num_constructors 

Source 
pub unsafe extern "C" fn dt_decl_get_num_constructors(
    decl: DatatypeDecl,
) -> usize
Expand description

Get the number of constructors for a given Datatype declaration. @param decl The datatype declaration. @return The number of constructors.