bls12-381 0.3.14 · OCaml Package

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 =

| Returns : 'a CI.typ -> 'a return fn
| 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

package bls12-381