Make (pickles.Pickles.Scalar

Parameters

module Impl : Snarky_backendless.Snark_intf.Run

module G : sig ... end

module Challenge : Limb_vector.Challenge.S with module Impl := Impl

module Endo : sig ... end

Signature

type t = Challenge.t Kimchi_backend_common.Scalar_challenge.t

module Constant : sig ... end

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

val num_bits : int

val seal : 
  Impl.field Snarky_backendless.Cvar.t ->
  Impl.field Snarky_backendless.Cvar.t

val endo : 
  ?num_bits:int ->
  Impl.field Snarky_backendless.Cvar.t Tuple_lib.Double.t ->
  Impl.Field.t Kimchi_backend_common.Scalar_challenge.t ->
  G.t

val endo_inv : (Impl.Field.t * Impl.Field.t) -> t -> G.t