Module `Output_hash.Checked`

val hash : 
  Message.var ->
  (Pickles.Impls.Step.Internal_Basic.Field.Var.t
   * Pickles.Impls.Step.Internal_Basic.Field.Var.t) ->
  Random_oracle.Checked.Digest.t Snark_params.Tick.Run.Internal_Basic.Checked.t