Module `Elliptic_curve_lib.Ec_fpn_dbl`

Fully unrolled eliptic curve point doubling.

module Jacobian = Point.Jacobian

module Config = Ec_fpn_ops_config

val latency : Config.t -> int

Latency of the eliptic curve point doubling datapath.

module With_interface (M : sig ... end) : sig ... end