Module `Evaluation.Checked`

val verified_output : 
  (module Group.Checked.Shifted.S with type t = 'shifted) ->
  var ->
  Context.var ->
  Random_oracle.Checked.Digest.t Snark_params.Tick.Checked.t