One_hot_vector.T
module Impl : Snarky_backendless.Snark_intf.Run
type nonrec 'n t = ( Impl.field, 'n ) t