Function z3::datatype_builder::create_datatypes

source · 
pub fn create_datatypes<'ctx>(
    datatype_builders: Vec<DatatypeBuilder<'ctx>>
) -> Vec<DatatypeSort<'ctx>>