Message (vrf_lib_tests.Vrf_lib_tests.Integrated

type 'state_hash t = {

state_hash : 'state_hash;

}

val to_hlist : 'state_hash t -> ( unit, 'state_hash -> unit ) H_list.t

val of_hlist : ( unit, 'state_hash -> unit ) H_list.t -> 'state_hash t

type value = Mina_base.State_hash.t t

type var = Mina_base.State_hash.var t

val typ : 
  ( Mina_base.State_hash.var t, Mina_base.State_hash.t t )
    Snark_params.Tick.Typ.t

val gen : Mina_base.State_hash.t t Core_kernel__Quickcheck.Generator.t

val hash_to_group : 
  constraint_constants:'a ->
  Pickles.Impls.Step.Internal_Basic.Field.t t ->
  Pasta_bindings.Pallas.t

module Checked : sig ... end