Branch.Val
Base functions on values.
type t = value
The type for keys.
val t : t Type.t
type hash
val to_hash : t -> hash