package bn128

  1. Overview
  2. Docs
val curve_order : Z.t
type !'a point =
  1. | Finite of 'a * 'a
  2. | Infinite
module type G = sig ... end
module G1 : sig ... end
module G2 : sig ... end
module G12 : sig ... end
val cast_g2 : G2.t point -> G12.t point
val cast_g1 : G1.t point -> G12.t point
OCaml

Innovation. Community. Security.