Parameter `Proof.Hash`

type t

val of_context_hash : Mavryk_base.TzPervasives.Context_hash.t -> t