Для встроенной функции можно создать ограничение вроде:
let inline implicit arg =
( ^a : (static member op_Implicit : ^b -> ^a) arg)
требующий заданного оператора или члена в аргументах. Есть ли способ сопоставления на основе чего-то подобного?
Я хочу создать активный шаблон, в котором любой аргумент, который передается методу, который соответствует ограничению встроенной функции, как приведенные выше триггеры, которые функционируют и все остальное, заканчивается как часть некоторого управления ошибками.