G (pickles.Pickles.Scalar_challenge.Make.2-G)

type t = Impl.Field.t * Impl.Field.t

module Params : sig ... end

module Constant : sig ... end

val typ_unchecked : ( t, Constant.t, Impl.field ) Snarky_backendless.Typ.t

val typ : ( t, Constant.t, Impl.field ) Snarky_backendless.Typ.t

val (+) : t -> t -> t

val double : t -> t

val scale : t -> Impl.Boolean.var list -> t

val if_ : Impl.Boolean.var -> then_:t -> else_:t -> t

val negate : t -> t

val to_field_elements : t -> Impl.Field.t list

module Scaling_precomputation : sig ... end

val constant : Constant.t -> t

val multiscale_known : 
  (Impl.Boolean.var list * Scaling_precomputation.t) array ->
  t