Module Tcheck.Operator2Source

Sourceval compare : 'a -> 'a -> int