bls12-381-unix 0.4.3 · OCaml Package

val miller_loop_simple : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    unit Rustc_bls12_381_stubs.return)
    Rustc_bls12_381_stubs.result

val miller_loop_2 : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    unit Rustc_bls12_381_stubs.return)
    Rustc_bls12_381_stubs.result

val miller_loop_3 : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    unit Rustc_bls12_381_stubs.return)
    Rustc_bls12_381_stubs.result

val miller_loop_4 : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    unit Rustc_bls12_381_stubs.return)
    Rustc_bls12_381_stubs.result

val miller_loop_5 : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    unit Rustc_bls12_381_stubs.return)
    Rustc_bls12_381_stubs.result

val miller_loop_6 : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    unit Rustc_bls12_381_stubs.return)
    Rustc_bls12_381_stubs.result

val pairing : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    unit Rustc_bls12_381_stubs.return)
    Rustc_bls12_381_stubs.result

val final_exponentiation : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    unit Rustc_bls12_381_stubs.return)
    Rustc_bls12_381_stubs.result

package bls12-381-unix