Checked (mina_base.Mina_base.Permissions.Auth

type t

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

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

val eval_no_proof : 
  t ->
  signature_verifies:Snark_params.Tick.Boolean.var ->
  Snark_params.Tick.Boolean.var

val eval_proof : t -> Snark_params.Tick.Boolean.var

val spec_eval : 
  t ->
  signature_verifies:Snark_params.Tick.Boolean.var ->
  Snark_params.Tick.Boolean.var
  * [ `proof_must_verify of Snark_params.Tick.Boolean.var ]