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) -> 'a -> 'b
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