Protocol_constants_checked (mina_base.Mina_base.Protocol_constants

module T = Mina_numbers.Length

module Poly = Genesis_constants.Protocol.Poly

module Value : sig ... end

type value = Value.t

val value_of_t : Genesis_constants.Protocol.t -> value

val t_of_value : value -> Genesis_constants.Protocol.t

val to_input : value -> Snark_params.Tick.Field.t Random_oracle.Input.Chunked.t

type var = ( T.Checked.t, T.Checked.t, Block_time.Checked.t ) Poly.t

val typ : 
  ( ( T.Checked.t, T.Checked.t, Block_time.Checked.t ) Poly.t,
    ( Mina_wire_types.Mina_numbers.Length.V1.t,
      Mina_wire_types.Mina_numbers.Length.V1.t,
      Block_time.Stable.Latest.t )
      Poly.t )
    Snark_params.Tick.Typ.t

val var_to_input : 
  var ->
  Snark_params.Tick.Field.Var.t Random_oracle.Input.Chunked.t