Mina_stdlib.Sigs
Recurrent type and signature definitions
type ('a, 'b) predicate2 = 'a -> 'b -> bool
Polymorphic binary predicates