Window_table (snarky_curve.Snarky_curve.For_native_base_field.Window

type t = Inputs.Constant.t Tuple_lib.Quadruple.t array

val window_size : int

val windows : int

val shift_left_by_window_size : Inputs.Constant.t -> Inputs.Constant.t

val create : 
  shifts:Inputs.Constant.t Core_kernel.Array.t ->
  Inputs.Constant.t ->
  (Inputs.Constant.t
   * Inputs.Constant.t
   * Inputs.Constant.t
   * Inputs.Constant.t)
    Core_kernel.Array.t