Make.1-Input
type proof_elem
type hash
val equal_hash : hash -> hash -> bool
val hash : hash -> proof_elem -> hash