Ops (pickles.Pickles.Step_main

val seal : 
  Impls.Step.field Snarky_backendless.Cvar.t Tuple_lib.Double.t ->
  Impls.Step.field Snarky_backendless.Cvar.t Tuple_lib.Double.t

val add_fast : 
  ?check_finite:bool ->
  (Impls.Step.field Snarky_backendless.Cvar.t
   * Impls.Step.field Snarky_backendless.Cvar.t) ->
  (Impls.Step.field Snarky_backendless.Cvar.t
   * Impls.Step.field Snarky_backendless.Cvar.t) ->
  Impls.Step.field Snarky_backendless.Cvar.t
  * Impls.Step.field Snarky_backendless.Cvar.t

val bits_per_chunk : int

val chunks_needed : num_bits:int -> int

val scale_fast_msb_bits : 
  Impls.Step.field Snarky_backendless.Cvar.t Tuple_lib.Double.t ->
  Impls.Step.Boolean.var array Pickles_types.Shifted_value.Type1.t ->
  Inner_curve.t

val scale_fast_unpack : 
  Impls.Step.field Snarky_backendless.Cvar.t Tuple_lib.Double.t ->
  Impls.Step.Field.t Pickles_types.Shifted_value.Type1.t ->
  num_bits:int ->
  Inner_curve.t * Impls.Step.Boolean.var array

val scale_fast2 : 
  Inner_curve.t ->
  (Impls.Step.Field.t * Impls.Step.Boolean.var)
    Pickles_types.Shifted_value.Type2.t ->
  num_bits:int ->
  Inner_curve.t

val scale_fast : 
  Impls.Step.field Snarky_backendless.Cvar.t Tuple_lib.Double.t ->
  Impls.Step.Field.t Pickles_types.Shifted_value.Type1.t ->
  num_bits:int ->
  Inner_curve.t

module type Scalar_field_intf = sig ... end

val scale_fast2' : 
  (module Scalar_field_intf with type Constant.t = 'scalar_field) ->
  Inner_curve.t ->
  Impls.Step.Field.t ->
  num_bits:int ->
  Inner_curve.t