One_hot_vector (pickles.One_hot

module Constant : sig ... end

type ('f, 'n) t =
  private ( 'f Snarky_backendless.Cvar.t Snarky_backendless.Boolean.t, 'n )
            Pickles_types.Vector.t

module T (Impl : Snarky_backendless.Snark_intf.Run) : sig ... end

module Make (Impl : Snarky_backendless.Snark_intf.Run) : sig ... end