Checked (mina_base.Mina_base.Account

val create : 
  Mina_base_import.Public_key.Compressed.var ->
  Digest.Checked.t ->
  var

val public_key : var -> Mina_base_import.Public_key.Compressed.var

val token_id : var -> Digest.Checked.t

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

val equal : 
  var ->
  var ->
  Snark_params.Tick.Boolean.var Snark_params.Tick.Checked.t

val if_ : 
  Snark_params.Tick.Boolean.var ->
  then_:var ->
  else_:var ->
  var Snark_params.Tick.Checked.t

val derive_token_id : owner:var -> Digest.Checked.t