Fields (snarkette.Snarkette.Fields)

val (=) : [> `Don't_use_polymorphic_equality ]

module type Basic_intf = sig ... end

module type Intf = sig ... end

module type Sqrt_field_intf = sig ... end

module type Extended_intf = sig ... end

module type Fp_intf = sig ... end

module type Extension_intf = sig ... end

module Extend (F : Basic_intf) : sig ... end

module Make_fp
  (N : Nat_intf.S)
  (Info : sig ... end) : 
  Fp_intf with module Nat = N and type t = private N.t

module type Degree_2_extension_intf = sig ... end

module type Degree_3_extension_intf = sig ... end

val (%) : int -> int -> int

val find_wnaf : 
  (module Nat_intf.S with type t = 't) ->
  int ->
  't0 ->
  int Core_kernel.Array.t

module Make_fp3 (Fp : Intf) (Info : sig ... end) : sig ... end

module Make_fp2 (Fp : Intf) (Info : sig ... end) : sig ... end

module Make_fp6
  (N : Nat_intf.S)
  (Fp : Intf)
  (Fp2 : Degree_2_extension_intf with type base = Fp.t)
  (Fp3 : sig ... end)
  (Info : sig ... end) : 
  sig ... end