type affine_array
type affine
type jacobian
val allocate_g1 : unit -> jacobian
val allocate_g1_affine_contiguous_array : int -> affine_array
val p1_affine_array_set_p1_points : affine_array -> jacobian array -> int -> int
val allocate_g1_affine : unit -> affine
val from_affine : jacobian -> affine -> int
val to_affine : affine -> jacobian -> int
val double : jacobian -> jacobian -> int
val dadd : jacobian -> jacobian -> jacobian -> int
val is_zero : jacobian -> bool
val in_g1 : jacobian -> bool
val equal : jacobian -> jacobian -> bool
val cneg : jacobian -> bool -> int
val mult : jacobian -> jacobian -> Bytes.t -> Unsigned.Size_t.t -> int
val deserialize : affine -> Bytes.t -> int
val serialize : Bytes.t -> jacobian -> int
val compress : Bytes.t -> jacobian -> int
val uncompress : affine -> Bytes.t -> int
val memcpy : jacobian -> jacobian -> int
val set_affine_coordinates : affine -> Fq.t -> Fq.t -> int
val fft_inplace : jacobian array -> Fr.Stubs.fr array -> int -> int
val pippenger : jacobian -> jacobian array -> Fr.t array -> Unsigned.Size_t.t -> Unsigned.Size_t.t -> int
val continuous_array_get : jacobian -> affine_array -> int -> int
val pippenger_with_affine_array : jacobian -> affine_array -> Fr.t array -> Unsigned.Size_t.t -> Unsigned.Size_t.t -> int
val mul_map_inplace : jacobian array -> Fr.Stubs.fr -> int -> int