mlirSMTTypeGetArray

mlir_sys

Function mlirSMTTypeGetArray 

Source 
pub unsafe extern "C" fn mlirSMTTypeGetArray(
    ctx: MlirContext,
    domainType: MlirType,
    rangeType: MlirType,
) -> MlirType
Expand description

Creates an array type with the given domain and range types.