Checked (consensus.Consensus.Constants.Checked)

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

val create : 
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  protocol_constants:Mina_base.Protocol_constants_checked.var ->
  var Snark_params.Tick.Checked.t