Parameter Make.5-Output_hash

type t
type var
val hash : constraint_constants:Genesis_constants.Constraint_constants.t -> Message.value -> Group.value -> t
module Checked : sig ... end