mlirSMTTypeIsAnyNonFuncSMTValueType

Function mlirSMTTypeIsAnyNonFuncSMTValueType 

Source
pub unsafe extern "C" fn mlirSMTTypeIsAnyNonFuncSMTValueType(
    type_: MlirType,
) -> bool
Expand description

Checks if the given type is any non-func SMT value type.