Epoxy_tx.Utilsmodule Curve = Mec.Curve.Jubjub.AffineEdwardsval of_int : int -> Plompiler.S.tval to_bls_scalar : Plompiler.S.t -> Curve.Base.tval of_bls_scalar : Curve.Base.t -> Plompiler.S.tval point_to_affine : (Plompiler.S.t * Plompiler.S.t) -> Curve.tval affine_to_point : Curve.t -> Plompiler.S.t * Plompiler.S.tval curve_base_to_s : Curve.Base.t -> Plompiler.S.tval curve_base_of_s : Plompiler.S.t -> Curve.Base.tval curve_scalar_to_s : Curve.Scalar.t -> Plompiler.S.tval curve_scalar_of_s : Plompiler.S.t -> Curve.Scalar.tval scalar_of_bytes : bytes -> Plompiler.S.tval scalar_to_bytes : Plompiler.S.t -> bytes