Make (pickles.Pseudo.Make)

Parameters

module Impl : Snarky_backendless.Snark_intf.Run

type ('a, 'n) t =
  'n One_hot_vector.T(Impl).t * ( 'a, 'n ) Pickles_types.Vector.t

val seal : Impl.Field.t -> Impl.Field.t

val mask : 
  'n One_hot_vector.T(Impl).t ->
  ( Impl.Field.t, 'n ) Pickles_types.Vector.t ->
  Impl.Field.t

val choose : ( 'a, 'n ) t -> f:( 'a -> Impl.Field.t ) -> Impl.Field.t

module Degree_bound : sig ... end

module Domain : sig ... end