module Make_Symmetric: functor (H : Cacheable) -> functor (R : Result) -> sig .. end
functor (
H
:
Cacheable
) ->
R
Result
sig
end
val clear : unit -> unit
unit -> unit
val merge : (H.t -> H.t -> R.t) -> H.t -> H.t -> R.t
(H.t -> H.t -> R.t) -> H.t -> H.t -> R.t