module MakeJacobianWeierstrass
(Fq : Bls12_381.Ff_sig.PRIME)
(Fp : Bls12_381.Ff_sig.PRIME)
(Params : sig ... end) :
sig ... endmodule MakeAffineWeierstrass
(Fq : Bls12_381.Ff_sig.PRIME)
(Fp : Bls12_381.Ff_sig.PRIME)
(Params : sig ... end) :
sig ... endmodule MakeProjectiveWeierstrass
(Fq : Bls12_381.Ff_sig.PRIME)
(Fp : Bls12_381.Ff_sig.PRIME)
(Params : sig ... end) :
sig ... endmodule MakeAffineMontgomery
(Fq : Bls12_381.Ff_sig.PRIME)
(Fp : Bls12_381.Ff_sig.PRIME)
(Params : sig ... end) :
sig ... endmodule MakeAffineEdwards
(Base : Bls12_381.Ff_sig.PRIME)
(Scalar : Bls12_381.Ff_sig.PRIME)
(Params : sig ... end) :
sig ... endval 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 = 'base0
and type Scalar.t = 'scalar0) ->
'affine0 ->
'jacobian0val 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 = 'base0
and type Scalar.t = 'scalar0) ->
'jacobian0 ->
'affine0val 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 = 'base0
and type Scalar.t = 'scalar0) ->
'affine0 ->
'projective0val 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 = 'base0
and type Scalar.t = 'scalar0) ->
'projective0 ->
'affine0val 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 = 'base0
and type Scalar.t = 'scalar0) ->
'affine_mt0 ->
'affine_wt0 optionval 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 = 'base0
and type Scalar.t = 'scalar0) ->
'affine_mt0 ->
'affine_tw0 optionval 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 = 'base0
and type Scalar.t = 'scalar0) ->
'affine_tw0 ->
'affine_mt0 optionmodule MakeAffineEdwardsToAffineMontgomery (E : sig ... end) : sig ... end