Authorization_kind.Structured
type t = {
is_signed : bool;
is_proved : bool;
}
val to_hlist : t -> ( unit, bool -> bool -> unit ) H_list.t
val of_hlist : ( unit, bool -> bool -> unit ) H_list.t -> t
val to_input : t -> Snark_params.Tick.Field.t Random_oracle_input.Chunked.t
module Checked : sig ... end
val typ : ( Checked.t, t ) Snark_params.Tick.Typ.t