Custom.Dummy
val dump : 'a -> 'b -> 'c
val check : 'a -> 'b
val equal : 'a -> 'b -> 'c
val hash : 'a -> 'b
val compare : 'a -> 'b -> 'c