module Make_Binary: functor (H0 : Cacheable) -> functor (H1 : Cacheable) -> sig .. end
functor (
H0
:
Cacheable
) ->
H1
sig
end
val clear : unit -> unit
unit -> unit
val merge : (H0.t -> H1.t -> bool) -> H0.t -> H1.t -> bool
(H0.t -> H1.t -> bool) -> H0.t -> H1.t -> bool