Permissions.Checked
type t = Auth_required.Checked.t Poly.Stable.Latest.t
val to_input : t -> Snark_params.Tick.Field.Var.t Random_oracle_input.Chunked.t
val constant : Stable.Latest.t -> t
val if_ : Snark_params.Tick.Boolean.var -> then_:t -> else_:t -> t