Parameter Binary_Predicate.H0

type t
val hash : t -> int
val sentinel : t
val equal : t -> t -> bool