Checked (vrf_lib.Vrf_lib.Standalone.Make.Evaluation.Checked)

val verified_output : 
  (module Group.Checked.Shifted.S with type t = 'shifted) ->
  var ->
  Context.var ->
  Output_hash.var Impl.Checked.t