Function mlirSMTTypeGetSort 

pub unsafe extern "C" fn mlirSMTTypeGetSort(
    ctx: MlirContext,
    identifier: MlirIdentifier,
    numberOfSortParams: usize,
    sortParams: *const MlirType,
) -> MlirType

Creates a smt::SortType with the given identifier and sort parameters.