Functor (octez-libs.Mec.Curve.Utils.Functor)

module MakeJacobianWeierstrass
  (Fq : Bls12_381.Ff_sig.PRIME)
  (Fp : Bls12_381.Ff_sig.PRIME)
  (Params : sig ... end) : 
  sig ... end

module MakeAffineWeierstrass
  (Fq : Bls12_381.Ff_sig.PRIME)
  (Fp : Bls12_381.Ff_sig.PRIME)
  (Params : sig ... end) : 
  sig ... end

module MakeProjectiveWeierstrass
  (Fq : Bls12_381.Ff_sig.PRIME)
  (Fp : Bls12_381.Ff_sig.PRIME)
  (Params : sig ... end) : 
  sig ... end

module MakeAffineMontgomery
  (Fq : Bls12_381.Ff_sig.PRIME)
  (Fp : Bls12_381.Ff_sig.PRIME)
  (Params : sig ... end) : 
  sig ... end

module MakeAffineEdwards
  (Base : Bls12_381.Ff_sig.PRIME)
  (Scalar : Bls12_381.Ff_sig.PRIME)
  (Params : sig ... end) : 
  sig ... end

val from_affine_weierstrass_to_jacobian_weierstrass : 
  (module Mec__.Ec_sig.AffineWeierstrassT
    with type t = 'affine
     and type Base.t = 'base
     and type Scalar.t = 'scalar) ->
  (module Mec__.Ec_sig.JacobianWeierstrassT
    with type t = 'jacobian
     and type Base.t = 'base
     and type Scalar.t = 'scalar) ->
  'affine ->
  'jacobian

val from_jacobian_weierstrass_to_affine_weierstrass : 
  (module Mec__.Ec_sig.JacobianWeierstrassT
    with type t = 'jacobian
     and type Base.t = 'base
     and type Scalar.t = 'scalar) ->
  (module Mec__.Ec_sig.AffineWeierstrassT
    with type t = 'affine
     and type Base.t = 'base
     and type Scalar.t = 'scalar) ->
  'jacobian ->
  'affine

val from_affine_weierstrass_to_projective_weierstrass : 
  (module Mec__.Ec_sig.AffineWeierstrassT
    with type t = 'affine
     and type Base.t = 'base
     and type Scalar.t = 'scalar) ->
  (module Mec__.Ec_sig.ProjectiveWeierstrassT
    with type t = 'projective
     and type Base.t = 'base
     and type Scalar.t = 'scalar) ->
  'affine ->
  'projective

val from_projective_weierstrass_to_affine_weierstrass : 
  (module Mec__.Ec_sig.ProjectiveWeierstrassT
    with type t = 'projective
     and type Base.t = 'base
     and type Scalar.t = 'scalar) ->
  (module Mec__.Ec_sig.AffineWeierstrassT
    with type t = 'affine
     and type Base.t = 'base
     and type Scalar.t = 'scalar) ->
  'projective ->
  'affine

val from_affine_montgomery_to_affine_weierstrass : 
  (module Mec__.Ec_sig.AffineMontgomeryT
    with type t = 'affine_mt
     and type Base.t = 'base
     and type Scalar.t = 'scalar) ->
  (module Mec__.Ec_sig.AffineWeierstrassT
    with type t = 'affine_wt
     and type Base.t = 'base
     and type Scalar.t = 'scalar) ->
  'affine_mt ->
  'affine_wt option

val from_affine_montgomery_to_affine_edwards : 
  (module Mec__.Ec_sig.AffineMontgomeryT
    with type t = 'affine_mt
     and type Base.t = 'base
     and type Scalar.t = 'scalar) ->
  (module Mec__.Ec_sig.AffineEdwardsT
    with type t = 'affine_tw
     and type Base.t = 'base
     and type Scalar.t = 'scalar) ->
  'affine_mt ->
  'affine_tw option

val from_affine_edwards_to_affine_montgomery : 
  (module Mec__.Ec_sig.AffineEdwardsT
    with type t = 'affine_tw
     and type Base.t = 'base
     and type Scalar.t = 'scalar) ->
  (module Mec__.Ec_sig.AffineMontgomeryT
    with type t = 'affine_mt
     and type Base.t = 'base
     and type Scalar.t = 'scalar) ->
  'affine_tw ->
  'affine_mt option

module MakeAffineEdwardsToAffineMontgomery (E : sig ... end) : sig ... end