kdrag.datatype.multipattern_match

kdrag.datatype.multipattern_match(*cases: tuple[DatatypeRef, DatatypeRef]) → tuple[list[BoolRef], dict[DatatypeRef, DatatypeRef]]

Parameters:

cases (tuple[DatatypeRef, DatatypeRef])

Return type:

tuple[list[BoolRef], dict[DatatypeRef, DatatypeRef]]