Unpacked (mina_base.Mina_base.Account.Index.Unpacked)

type var = Snark_params.Tick.Boolean.var list

type value = Vector.t

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

val typ : ledger_depth:int -> ( var, value ) Snark_params.Tick.Typ.t