One_hot.Checked
type 'f t = ( 'f, Pickles_types.Nat.N3.n ) One_hot_vector.t
val to_input : 'f t -> 'f Snarky_backendless.Cvar.t Random_oracle_input.Chunked.t