Допустим, у меня есть функция, которая возвращает меньшее из двух входных значений типа int . Я хочу установить предварительное условие, разрешающее только a и b типа int . class Example functions min: int * int -> int min(a, b) ==...