Make (pickles.One_hot

Parameters

module Impl : Snarky_backendless.Snark_intf.Run

module Constant = Constant

type 'n t = 'n T(Impl).t

val of_index : Impl.Field.t -> length:'n Pickles_types.Nat.t -> 'n t

val of_vector_unsafe : ( Impl.Boolean.var, 'n ) Pickles_types.Vector.t -> 'n t

val typ : 'n Pickles_types.Nat.t -> ( 'n t, Constant.t ) Impl.Typ.t