Module `Output_hash.Checked`

val hash : 
  Message.var ->
  (Random_oracle.Checked.Digest.t * Random_oracle.Checked.Digest.t) ->
  Random_oracle.Checked.Digest.t Snark_params.Tick.Run.Internal_Basic.Checked.t