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