package bls12-381-legacy

  1. Overview
  2. Docs
module CI = Cstubs_internals
val caml_1_rustc_bls12_381_fq12_check_bytes : bytes CI.ocaml -> bool
val caml_2_rustc_bls12_381_fq12_is_zero : bytes CI.ocaml -> bool
val caml_3_rustc_bls12_381_fq12_is_one : bytes CI.ocaml -> bool
val caml_4_rustc_bls12_381_fq12_random : bytes CI.ocaml -> unit
val caml_5_rustc_bls12_381_fq12_zero : bytes CI.ocaml -> unit
val caml_6_rustc_bls12_381_fq12_one : bytes CI.ocaml -> unit
val caml_7_rustc_bls12_381_fq12_add : bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> unit
val caml_8_rustc_bls12_381_fq12_mul : bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> unit
val caml_9_rustc_bls12_381_fq12_unsafe_inverse : bytes CI.ocaml -> bytes CI.ocaml -> unit
val caml_10_rustc_bls12_381_fq12_eq : bytes CI.ocaml -> bytes CI.ocaml -> bool
val caml_11_rustc_bls12_381_fq12_negate : bytes CI.ocaml -> bytes CI.ocaml -> unit
val caml_12_rustc_bls12_381_fq12_square : bytes CI.ocaml -> bytes CI.ocaml -> unit
val caml_13_rustc_bls12_381_fq12_double : bytes CI.ocaml -> bytes CI.ocaml -> unit
val caml_14_rustc_bls12_381_fq12_pow : bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> unit
val caml_15_rustc_bls12_381_fr_check_bytes : bytes CI.ocaml -> bool
val caml_16_rustc_bls12_381_fr_is_zero : bytes CI.ocaml -> bool
val caml_17_rustc_bls12_381_fr_is_one : bytes CI.ocaml -> bool
val caml_18_rustc_bls12_381_fr_random : bytes CI.ocaml -> unit
val caml_19_rustc_bls12_381_fr_zero : bytes CI.ocaml -> unit
val caml_20_rustc_bls12_381_fr_one : bytes CI.ocaml -> unit
val caml_21_rustc_bls12_381_fr_add : bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> unit
val caml_22_rustc_bls12_381_fr_mul : bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> unit
val caml_23_rustc_bls12_381_fr_unsafe_inverse : bytes CI.ocaml -> bytes CI.ocaml -> unit
val caml_24_rustc_bls12_381_fr_eq : bytes CI.ocaml -> bytes CI.ocaml -> bool
val caml_25_rustc_bls12_381_fr_negate : bytes CI.ocaml -> bytes CI.ocaml -> unit
val caml_26_rustc_bls12_381_fr_square : bytes CI.ocaml -> bytes CI.ocaml -> unit
val caml_27_rustc_bls12_381_fr_double : bytes CI.ocaml -> bytes CI.ocaml -> unit
val caml_28_rustc_bls12_381_fr_pow : bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> unit
val caml_29_rustc_bls12_381_g1_uncompressed_check_bytes : bytes CI.ocaml -> bool
val caml_30_rustc_bls12_381_g1_compressed_check_bytes : bytes CI.ocaml -> bool
val caml_31_rustc_bls12_381_g1_one : bytes CI.ocaml -> unit
val caml_32_rustc_bls12_381_g1_zero : bytes CI.ocaml -> unit
val caml_33_rustc_bls12_381_g1_random : bytes CI.ocaml -> unit
val caml_34_rustc_bls12_381_g1_add : bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> unit
val caml_35_rustc_bls12_381_g1_double : bytes CI.ocaml -> bytes CI.ocaml -> unit
val caml_36_rustc_bls12_381_g1_negate : bytes CI.ocaml -> bytes CI.ocaml -> unit
val caml_37_rustc_bls12_381_g1_eq : bytes CI.ocaml -> bytes CI.ocaml -> bool
val caml_38_rustc_bls12_381_g1_is_zero : bytes CI.ocaml -> bool
val caml_39_rustc_bls12_381_g1_mul : bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> unit
val caml_40_rustc_bls12_381_g1_compressed_one : bytes CI.ocaml -> unit
val caml_41_rustc_bls12_381_g1_compressed_zero : bytes CI.ocaml -> unit
val caml_42_rustc_bls12_381_g1_compressed_random : bytes CI.ocaml -> unit
val caml_43_rustc_bls12_381_g1_compressed_add : bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> unit
val caml_44_rustc_bls12_381_g1_compressed_negate : bytes CI.ocaml -> bytes CI.ocaml -> unit
val caml_45_rustc_bls12_381_g1_compressed_eq : bytes CI.ocaml -> bytes CI.ocaml -> bool
val caml_46_rustc_bls12_381_g1_compressed_is_zero : bytes CI.ocaml -> bool
val caml_47_rustc_bls12_381_g1_compressed_double : bytes CI.ocaml -> bytes CI.ocaml -> unit
val caml_48_rustc_bls12_381_g1_compressed_mul : bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> unit
val caml_49_rustc_bls12_381_g1_compressed_of_uncompressed : bytes CI.ocaml -> bytes CI.ocaml -> unit
val caml_50_rustc_bls12_381_g1_uncompressed_of_compressed : bytes CI.ocaml -> bytes CI.ocaml -> unit
val caml_51_rustc_bls12_381_g1_build_from_components : bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bool
val caml_52_rustc_bls12_381_g2_uncompressed_check_bytes : bytes CI.ocaml -> bool
val caml_53_rustc_bls12_381_g2_compressed_check_bytes : bytes CI.ocaml -> bool
val caml_54_rustc_bls12_381_g2_one : bytes CI.ocaml -> unit
val caml_55_rustc_bls12_381_g2_zero : bytes CI.ocaml -> unit
val caml_56_rustc_bls12_381_g2_random : bytes CI.ocaml -> unit
val caml_57_rustc_bls12_381_g2_add : bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> unit
val caml_58_rustc_bls12_381_g2_double : bytes CI.ocaml -> bytes CI.ocaml -> unit
val caml_59_rustc_bls12_381_g2_negate : bytes CI.ocaml -> bytes CI.ocaml -> unit
val caml_60_rustc_bls12_381_g2_eq : bytes CI.ocaml -> bytes CI.ocaml -> bool
val caml_61_rustc_bls12_381_g2_is_zero : bytes CI.ocaml -> bool
val caml_62_rustc_bls12_381_g2_mul : bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> unit
val caml_63_rustc_bls12_381_g2_compressed_one : bytes CI.ocaml -> unit
val caml_64_rustc_bls12_381_g2_compressed_zero : bytes CI.ocaml -> unit
val caml_65_rustc_bls12_381_g2_compressed_random : bytes CI.ocaml -> unit
val caml_66_rustc_bls12_381_g2_compressed_add : bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> unit
val caml_67_rustc_bls12_381_g2_compressed_negate : bytes CI.ocaml -> bytes CI.ocaml -> unit
val caml_68_rustc_bls12_381_g2_compressed_eq : bytes CI.ocaml -> bytes CI.ocaml -> bool
val caml_69_rustc_bls12_381_g2_compressed_is_zero : bytes CI.ocaml -> bool
val caml_70_rustc_bls12_381_g2_compressed_double : bytes CI.ocaml -> bytes CI.ocaml -> unit
val caml_71_rustc_bls12_381_g2_compressed_mul : bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> unit
val caml_72_rustc_bls12_381_g2_compressed_of_uncompressed : bytes CI.ocaml -> bytes CI.ocaml -> unit
val caml_73_rustc_bls12_381_g2_uncompressed_of_compressed : bytes CI.ocaml -> bytes CI.ocaml -> unit
val caml_74_rustc_bls12_381_g2_build_from_components : bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bool
val caml_75_rustc_bls12_381_pairing_miller_loop_simple : bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> unit
val caml_76_rustc_bls12_381_pairing_miller_loop_2 : bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> unit
val caml_77_rustc_bls12_381_pairing_miller_loop_3 : bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> unit
val caml_78_rustc_bls12_381_pairing_miller_loop_4 : bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> unit
val caml_79_rustc_bls12_381_pairing_miller_loop_5 : bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> unit
val caml_80_rustc_bls12_381_pairing_miller_loop_6 : bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> unit
val caml_81_rustc_bls12_381_pairing : bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> unit
val caml_82_rustc_bls12_381_unsafe_pairing_final_exponentiation : bytes CI.ocaml -> bytes CI.ocaml -> unit
type 'a result = 'a
type 'a return = 'a
type 'a fn =
  1. | Returns : 'a CI.typ -> 'a return fn
  2. | Function : 'a CI.typ * 'b fn -> ('a -> 'b) fn
val map_result : ('a -> 'b) -> 'c -> 'd
val returning : 'a CI.typ -> 'a return fn
val (@->) : 'a CI.typ -> 'b fn -> ('a -> 'b) fn
val foreign : 'a 'b. string -> ('a -> 'b) fn -> 'a -> 'b
val foreign_value : 'a. string -> 'a Ctypes.typ -> 'a Ctypes.ptr
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct