package bls12-381

  1. Overview
  2. Docs

Module Bls12_381.Rustc_bls12_381_stubsSource

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