Function z3::datatype_builder::create_datatypes [−][src]
pub fn create_datatypes<'ctx>(
datatype_builders: Vec<DatatypeBuilder<'ctx>>
) -> Vec<DatatypeSort<'ctx>>
pub fn create_datatypes<'ctx>(
datatype_builders: Vec<DatatypeBuilder<'ctx>>
) -> Vec<DatatypeSort<'ctx>>