Functor Binary_cache.Binary_Predicate

module Binary_Predicate: 
functor (H0 : Cacheable-> 
functor (H1 : Cacheable-> sig .. end
Parameters:
H0 : Cacheable
H1 : Cacheable

val clear : unit -> unit
val merge : (H0.t -> H1.t -> bool) -> H0.t -> H1.t -> bool