You can search for identifiers within the package.
in-package search v0.2.0
libzipperposition.avatar
Make.P
type key
type value
val hash : key -> int
val equal : key -> key -> bool
val merge : value -> value -> value
Should be associative commutative
val zero : value
Neutral element of merge
merge