Revision 90419fb06271c6a2459370b8ebe0c37546e78f99 authored by Arvid Jakobsson on 13 February 2024, 10:15:23 UTC, committed by Marge Bot on 13 February 2024, 18:49:05 UTC
We now need to handle jobs like [tezt-memory-3k] in addition to jobs
like [tezt-memory-4k 1/4].
1 parent 2f9b580
Raw File
vesta.mli
module Projective : Ec_sig.ProjectiveWeierstrassT

module Affine : Ec_sig.AffineWeierstrassT

module Jacobian : Ec_sig.JacobianWeierstrassT

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
back to top