Make_events (mina_base.Mina_base.Zkapp_account.Make

Parameters

module Inputs : sig ... end

Signature

type t = Event.t list

val equal : t -> t -> bool

val empty_hash : Random_oracle.Digest.t

val push_hash : 
  Pickles.Impls.Step.Internal_Basic.Field.t ->
  Pickles.Impls.Step.Internal_Basic.Field.t ->
  Random_oracle.Digest.t

val push_event : 
  Pickles.Impls.Step.Internal_Basic.Field.t ->
  Event.t ->
  Random_oracle.Digest.t

val hash : t -> Pickles.Impls.Step.Internal_Basic.Field.t

type var = t Data_as_hash.t

val typ : ( t Data_as_hash.t, t ) Snark_params.Tick.Typ.t

val var_to_input : 
  var ->
  Snark_params.Tick.Field.Var.t Random_oracle_input.Chunked.t

val to_input : 
  t ->
  Pickles.Impls.Step.Internal_Basic.Field.t Random_oracle_input.Chunked.t

val push_to_data_as_hash : var -> Event.var -> var

val empty_stack_msg : string

val pop_from_data_as_hash : var -> Event.t Data_as_hash.t * var

val deriver : 
  ( Yojson.Safe.t list list,
    ( Yojson.Safe.t list list,
      ( ( ( Yojson.Safe.t list list,
            ( Yojson.Safe.t list list,
              ( Yojson.Safe.t list list,
                ( ( Yojson.Safe.t list list,
                    ( Yojson.Safe.t list list,
                      ( Yojson.Safe.t list list,
                        ( < contramap : 
                            ( Fields_derivers_zkapps.Field.t
                                Core_kernel.Array.t
                                list ->
                              Yojson.Safe.t list list )
                              Core_kernel.ref
                            ; graphql_arg : 
                              ( unit ->
                                Yojson.Safe.t list list
                                  Fields_derivers_graphql.Schema.Arg.arg_typ )
                                Core_kernel.ref
                            ; graphql_arg_accumulator : 
                              'a Fields_derivers_zkapps.Graphql.Args.Acc.T.t
                                Core_kernel.ref
                            ; graphql_creator : ( 'b -> 'c ) Stdlib.ref
                            ; graphql_fields : 
                              Yojson.Safe.t list list
                                Fields_derivers_zkapps.Graphql.Fields.Input.T.t
                                Core_kernel.ref
                            ; graphql_fields_accumulator : 
                              'd list Core_kernel.ref
                            ; graphql_query : string option Core_kernel.ref
                            ; graphql_query_accumulator : 'e list Stdlib.ref
                            ; js_layout : Yojson.Safe.t Core_kernel.ref
                            ; js_layout_accumulator : 'f list Stdlib.ref
                            ; map : 
                              ( Yojson.Safe.t list list ->
                                Fields_derivers_zkapps.Field.t
                                  Core_kernel.Array.t
                                  list )
                                Core_kernel.ref
                            ; nullable_graphql_arg : 
                              ( unit ->
                                Yojson.Safe.t list list option
                                  Fields_derivers_graphql.Schema.Arg.arg_typ )
                                Core_kernel.ref
                            ; nullable_graphql_fields : 
                              Yojson.Safe.t list list option
                                Fields_derivers_zkapps.Graphql.Fields.Input.T.t
                                Core_kernel.ref
                            ; of_json : 
                              ( Yojson.Safe.t ->
                                Yojson.Safe.t list list )
                                Core_kernel.ref
                            ; of_json_creator : 
                              ( string, 'g, Base.String.comparator_witness )
                                Base.Map.t
                                Stdlib.ref
                            ; skip : bool Core_kernel.ref
                            ; to_json : 
                              ( Yojson.Safe.t list list ->
                                Yojson.Safe.t )
                                Core_kernel.ref
                            ; to_json_accumulator : 'h list Stdlib.ref >
                            Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
                            Fields_derivers_graphql.Graphql_query.Input.t,
                          Fields_derivers_zkapps.Field.t Core_kernel.Array.t
                            list,
                          Yojson.Safe.t list list,
                          Yojson.Safe.t list list option )
                          Fields_derivers_zkapps.Graphql.Args.Input.t,
                        Fields_derivers_zkapps.Field.t Core_kernel.Array.t list,
                        Yojson.Safe.t list list option )
                        Fields_derivers_zkapps.Graphql.Fields.Input.t,
                      Fields_derivers_zkapps.Field.t Core_kernel.Array.t list )
                      Fields_derivers_json.Of_yojson.Input.t,
                    Fields_derivers_zkapps.Field.t Core_kernel.Array.t list )
                    Fields_derivers_json.To_yojson.Input.t
                    Fields_derivers_zkapps.Unified_input.t
                    Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
                    Fields_derivers_graphql.Graphql_query.Input.t,
                  Fields_derivers_zkapps.Field.t Core_kernel.Array.t list,
                  Yojson.Safe.t list list,
                  Yojson.Safe.t list list option )
                  Fields_derivers_zkapps.Graphql.Args.Input.t,
                Fields_derivers_zkapps.Field.t Core_kernel.Array.t list,
                Yojson.Safe.t list list option )
                Fields_derivers_zkapps.Graphql.Fields.Input.t,
              Fields_derivers_zkapps.Field.t Core_kernel.Array.t list )
              Fields_derivers_json.Of_yojson.Input.t,
            Fields_derivers_zkapps.Field.t Core_kernel.Array.t list )
            Fields_derivers_json.To_yojson.Input.t
            Fields_derivers_zkapps.Unified_input.t
            Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
            Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t,
          Fields_derivers_zkapps.Field.t Core_kernel.Array.t list,
          Yojson.Safe.t list list,
          Yojson.Safe.t list list option )
          Fields_derivers_zkapps.Graphql.Args.Input.t,
        Fields_derivers_zkapps.Field.t Core_kernel.Array.t list,
        Yojson.Safe.t list list,
        Yojson.Safe.t list list option )
        Fields_derivers_zkapps.Graphql.Args.Input.t,
      Fields_derivers_zkapps.Field.t Core_kernel.Array.t list,
      Yojson.Safe.t list list option )
      Fields_derivers_zkapps.Graphql.Fields.Input.t,
    Fields_derivers_zkapps.Field.t Core_kernel.Array.t list,
    Yojson.Safe.t list list option )
    Fields_derivers_zkapps.Graphql.Fields.Input.t ->
  < contramap : 
    ( Fields_derivers_zkapps.Field.t Core_kernel.Array.t list ->
      Yojson.Safe.t list list )
      Core_kernel.ref
    ; graphql_arg : 
      ( unit ->
        Yojson.Safe.t list list Fields_derivers_graphql.Schema.Arg.arg_typ )
        Core_kernel.ref
    ; graphql_arg_accumulator : 
      'a Fields_derivers_zkapps.Graphql.Args.Acc.T.t Core_kernel.ref
    ; graphql_creator : ( 'b -> 'c ) Stdlib.ref
    ; graphql_fields : 
      Yojson.Safe.t list list Fields_derivers_zkapps.Graphql.Fields.Input.T.t
        Core_kernel.ref
    ; graphql_fields_accumulator : 'd list Core_kernel.ref
    ; graphql_query : string option Core_kernel.ref
    ; graphql_query_accumulator : 'e list Stdlib.ref
    ; js_layout : Yojson.Safe.t Core_kernel.ref
    ; js_layout_accumulator : 'f list Stdlib.ref
    ; map : 
      ( Yojson.Safe.t list list ->
        Fields_derivers_zkapps.Field.t Core_kernel.Array.t list )
        Core_kernel.ref
    ; nullable_graphql_arg : 
      ( unit ->
        Yojson.Safe.t list list option
          Fields_derivers_graphql.Schema.Arg.arg_typ )
        Core_kernel.ref
    ; nullable_graphql_fields : 
      Yojson.Safe.t list list option
        Fields_derivers_zkapps.Graphql.Fields.Input.T.t
        Core_kernel.ref
    ; of_json : ( Yojson.Safe.t -> Yojson.Safe.t list list ) Core_kernel.ref
    ; of_json_creator : 
      ( string, 'g, Base.String.comparator_witness ) Base.Map.t Stdlib.ref
    ; skip : bool Core_kernel.ref
    ; to_json : ( Yojson.Safe.t list list -> Yojson.Safe.t ) Core_kernel.ref
    ; to_json_accumulator : 'h list Stdlib.ref >
    Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t