Curve.Secp256r1
module Projective : sig ... end
module Jacobian : sig ... end
module Affine : sig ... end
val from_affine_weierstrass_to_jacobian_weierstrass : Affine.t -> Jacobian.t
val from_affine_weierstrass_to_projective_weierstrass :
Affine.t ->
Projective.t
val from_jacobian_weierstrass_to_affine_weierstrass : Jacobian.t -> Affine.t
val from_projective_weierstrass_to_affine_weierstrass :
Projective.t ->
Affine.t