Output (consensus.Consensus

module Truncated : sig ... end

val typ : 
  ( Snark_params.Tick.Field.Var.t,
    Snark_params.Tick.Field.t,
    Backend.Tick.Field.t,
    ( unit, Backend.Tick.Field.t ) Snarky_backendless.Checked_runner.Simple.t )
    Snarky_backendless.Types.Typ.t

val gen : Snark_params.Tick.Field.t Core_kernel.Quickcheck.Generator.t

val truncate : Random_oracle.Digest.t -> string

val hash : 
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  Message.value ->
  Pasta_bindings.Pallas.t ->
  Random_oracle.Digest.t

module Checked : sig ... end