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

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

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

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

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

module MakeAffineEdwards
  (Base : Mavryk_bls12_381.Ff_sig.PRIME)
  (Scalar : Mavryk_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 = 'base0
     and type Scalar.t = 'scalar0) ->
  'affine0 ->
  'jacobian0

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 = 'base0
     and type Scalar.t = 'scalar0) ->
  'jacobian0 ->
  'affine0

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 = 'base0
     and type Scalar.t = 'scalar0) ->
  'affine0 ->
  'projective0

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 = 'base0
     and type Scalar.t = 'scalar0) ->
  'projective0 ->
  'affine0

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 = 'base0
     and type Scalar.t = 'scalar0) ->
  'affine_mt0 ->
  'affine_wt0 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 = 'base0
     and type Scalar.t = 'scalar0) ->
  'affine_mt0 ->
  'affine_tw0 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 = 'base0
     and type Scalar.t = 'scalar0) ->
  'affine_tw0 ->
  'affine_mt0 option

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