Module Fuzzy_vs_fuzzy.X_VS_X

Parameters

module X : PARAM

Signature

type ('a, 'b) matcher = 'a -> 'b -> X.tin -> ('a * 'b) X.tout