Checked (mina_base.Mina_base.Account_update.Authorization

type t = {

is_signed : Snark_params.Tick.Boolean.var;

is_proved : Snark_params.Tick.Boolean.var;

}

val to_hlist : 
  t ->
  ( unit,
    Snark_params.Tick.Boolean.var ->
    Snark_params.Tick.Boolean.var ->
    unit )
    H_list.t

val of_hlist : 
  ( unit,
    Snark_params.Tick.Boolean.var ->
    Snark_params.Tick.Boolean.var ->
    unit )
    H_list.t ->
  t

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