Token_permissions (mina_base.Mina_base.Token

module Stable : sig ... end

type t = Stable.Latest.t =

| Token_owned of {

disable_new_accounts : bool;

}

| Not_owned of {

account_disabled : bool;

}

val to_yojson : t -> Yojson.Safe.t

val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or

val _ : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or

val compare : t -> t -> int

val equal : t -> t -> bool

val t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t

val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t

val hash_fold_t : 
  Ppx_hash_lib.Std.Hash.state ->
  t ->
  Ppx_hash_lib.Std.Hash.state

val hash : t -> Ppx_hash_lib.Std.Hash.hash_value

val default : t

val to_input : t -> Snark_params.Tick.Field.t Random_oracle.Input.Chunked.t

type var = {

token_owner : Snark_params.Tick.Boolean.var;

token_locked : Snark_params.Tick.Boolean.var;

}

val var_of_t : t -> var

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

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

val gen : t Core_kernel__Quickcheck.Generator.t