Pseudo (pickles.Pickles.Step

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

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

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

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

module Degree_bound : sig ... end

module Domain : sig ... end