Field_extensions (snarky_field_extensions.Snarky_field_extensions.Field

module Make_test (F : Intf.Basic) : sig ... end

module Make (F : Intf.Basic) : sig ... end

module Make_applicative
  (F : Intf.S)
  (A : Intf.Traversable_applicative with module Impl := F.Impl) : 
  sig ... end

module F
  (Impl : Snarky_backendless.Snark_intf.S) : 
  Intf.S with type 'a Base.t_ = 'a and type 'a A.t = 'a and module Impl = Impl

module E2 (F : Intf.S) (Params : sig ... end) : sig ... end

module T3 : sig ... end

module E3
  (F : Intf.S)
  (Params : sig ... end) : 
  Intf.S_with_primitive_element
    with module Impl = F.Impl
     and module Base = F
     and type 'a A.t = 'a * 'a * 'a

module F3
  (F : Intf.S with type 'a A.t = 'a and type 'a Base.t_ = 'a)
  (Params : sig ... end) : 
  Intf.S_with_primitive_element
    with module Impl = F.Impl
     and module Base = F
     and type 'a A.t = 'a * 'a * 'a

module Cyclotomic_square : sig ... end

module F6
  (Fq : Intf.S with type 'a A.t = 'a and type 'a Base.t_ = 'a)
  (Fq2 : 
    Intf.S_with_primitive_element
      with module Impl = Fq.Impl
       and type 'a A.t = 'a * 'a
       and type 'a Base.t_ = 'a Fq.t_)
  (Fq3 : sig ... end)
  (Params : sig ... end) : 
  sig ... end

module F4
  (Fq2 : 
    Intf.S_with_primitive_element
      with type 'a A.t = 'a * 'a
       and type 'a Base.t_ = 'a)
  (Params : sig ... end) : 
  sig ... end