Function mlirSMTTypeGetSMTFunc 

pub unsafe extern "C" fn mlirSMTTypeGetSMTFunc(
    ctx: MlirContext,
    numberOfDomainTypes: usize,
    domainTypes: *const MlirType,
    rangeType: MlirType,
) -> MlirType

Creates a smt::FuncType with the given domain and range types.