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