Zkapp_permissions (archive_lib.Archive_lib.Processor.Zkapp

val auth_required_typ : Mina_base.Permissions.Auth_required.t Caqti_type.t

type t = {

edit_state : Mina_base.Permissions.Auth_required.t;

send : Mina_base.Permissions.Auth_required.t;

receive : Mina_base.Permissions.Auth_required.t;

set_delegate : Mina_base.Permissions.Auth_required.t;

set_permissions : Mina_base.Permissions.Auth_required.t;

set_verification_key : Mina_base.Permissions.Auth_required.t;

set_zkapp_uri : Mina_base.Permissions.Auth_required.t;

edit_sequence_state : Mina_base.Permissions.Auth_required.t;

set_token_symbol : Mina_base.Permissions.Auth_required.t;

increment_nonce : Mina_base.Permissions.Auth_required.t;

set_voting_for : Mina_base.Permissions.Auth_required.t;

}

val set_voting_for : t -> Mina_base.Permissions.Auth_required.t

val increment_nonce : t -> Mina_base.Permissions.Auth_required.t

val set_token_symbol : t -> Mina_base.Permissions.Auth_required.t

val edit_sequence_state : t -> Mina_base.Permissions.Auth_required.t

val set_zkapp_uri : t -> Mina_base.Permissions.Auth_required.t

val set_verification_key : t -> Mina_base.Permissions.Auth_required.t

val set_permissions : t -> Mina_base.Permissions.Auth_required.t

val set_delegate : t -> Mina_base.Permissions.Auth_required.t

val receive : t -> Mina_base.Permissions.Auth_required.t

val send : t -> Mina_base.Permissions.Auth_required.t

val edit_state : t -> Mina_base.Permissions.Auth_required.t

module Fields : sig ... end

val to_hlist : 
  t ->
  ( unit,
    Mina_base.Permissions.Auth_required.t ->
    Mina_base.Permissions.Auth_required.t ->
    Mina_base.Permissions.Auth_required.t ->
    Mina_base.Permissions.Auth_required.t ->
    Mina_base.Permissions.Auth_required.t ->
    Mina_base.Permissions.Auth_required.t ->
    Mina_base.Permissions.Auth_required.t ->
    Mina_base.Permissions.Auth_required.t ->
    Mina_base.Permissions.Auth_required.t ->
    Mina_base.Permissions.Auth_required.t ->
    Mina_base.Permissions.Auth_required.t ->
    unit )
    H_list.t

val of_hlist : 
  ( unit,
    Mina_base.Permissions.Auth_required.t ->
    Mina_base.Permissions.Auth_required.t ->
    Mina_base.Permissions.Auth_required.t ->
    Mina_base.Permissions.Auth_required.t ->
    Mina_base.Permissions.Auth_required.t ->
    Mina_base.Permissions.Auth_required.t ->
    Mina_base.Permissions.Auth_required.t ->
    Mina_base.Permissions.Auth_required.t ->
    Mina_base.Permissions.Auth_required.t ->
    Mina_base.Permissions.Auth_required.t ->
    Mina_base.Permissions.Auth_required.t ->
    unit )
    H_list.t ->
  t

val typ : t Caqti_type.t

val table_name : string

val add_if_doesn't_exist : 
  (module Caqti_async.CONNECTION) ->
  Mina_base.Permissions.t ->
  ( int, [> Caqti_error.call_or_retrieve ] ) Async_kernel__Deferred_result.t

val load : 
  (module Caqti_async.CONNECTION) ->
  int ->
  ( t, [> Caqti_error.call_or_retrieve ] ) Stdlib.result
    Async_kernel.Deferred.t