Domain (pickles.Pickles.Step_verifier.Pseudo.Domain)

val num_shifts : int

val shifts : 
  'n Degree_bound.t ->
  shifts:( log2_size:int -> Step_main_inputs.Impl.Field.Constant.t array ) ->
  Step_main_inputs.Impl.Field.t Pickles_types.Plonk_types.Shifts.t

val generator : 
  'n Degree_bound.t ->
  domain_generator:( log2_size:int -> Step_main_inputs.Impl.Field.t ) ->
  Step_main_inputs.Impl.Field.t

type nonrec !'n t = ( Plonk_checks.Domain.t, 'n ) t

val to_domain : 
  shifts:( log2_size:int -> Step_main_inputs.Impl.Field.Constant.t array ) ->
  domain_generator:( log2_size:int -> Step_main_inputs.Impl.Field.t ) ->
  'n t ->
  Step_main_inputs.Impl.Field.t Plonk_checks.plonk_domain