One_hot (pickles_base.Pickles_base.Proofs_verified.One

module Checked : sig ... end

val to_input : zero:'a -> one:'a -> t -> 'a Random_oracle_input.Chunked.t

val typ : 
  (module Snarky_backendless.Snark_intf.Run with type field = 'f) ->
  ( 'f Checked.t, t, 'f ) Snarky_backendless.Typ.t