val check_bytes :
(bytes Ctypes_static.ocaml ->
bool Rustc_bls12_381_stubs.return)
Rustc_bls12_381_stubs.resultval is_zero :
(bytes Ctypes_static.ocaml ->
bool Rustc_bls12_381_stubs.return)
Rustc_bls12_381_stubs.resultval is_one :
(bytes Ctypes_static.ocaml ->
bool Rustc_bls12_381_stubs.return)
Rustc_bls12_381_stubs.resultval random :
(bytes Ctypes_static.ocaml ->
unit Rustc_bls12_381_stubs.return)
Rustc_bls12_381_stubs.resultval zero :
(bytes Ctypes_static.ocaml ->
unit Rustc_bls12_381_stubs.return)
Rustc_bls12_381_stubs.resultval one :
(bytes Ctypes_static.ocaml ->
unit Rustc_bls12_381_stubs.return)
Rustc_bls12_381_stubs.resultval add :
(bytes Ctypes_static.ocaml ->
bytes Ctypes_static.ocaml ->
bytes Ctypes_static.ocaml ->
unit Rustc_bls12_381_stubs.return)
Rustc_bls12_381_stubs.resultval mul :
(bytes Ctypes_static.ocaml ->
bytes Ctypes_static.ocaml ->
bytes Ctypes_static.ocaml ->
unit Rustc_bls12_381_stubs.return)
Rustc_bls12_381_stubs.resultval unsafe_inverse :
(bytes Ctypes_static.ocaml ->
bytes Ctypes_static.ocaml ->
unit Rustc_bls12_381_stubs.return)
Rustc_bls12_381_stubs.resultval eq :
(bytes Ctypes_static.ocaml ->
bytes Ctypes_static.ocaml ->
bool Rustc_bls12_381_stubs.return)
Rustc_bls12_381_stubs.resultval negate :
(bytes Ctypes_static.ocaml ->
bytes Ctypes_static.ocaml ->
unit Rustc_bls12_381_stubs.return)
Rustc_bls12_381_stubs.resultval square :
(bytes Ctypes_static.ocaml ->
bytes Ctypes_static.ocaml ->
unit Rustc_bls12_381_stubs.return)
Rustc_bls12_381_stubs.resultval double :
(bytes Ctypes_static.ocaml ->
bytes Ctypes_static.ocaml ->
unit Rustc_bls12_381_stubs.return)
Rustc_bls12_381_stubs.resultval pow :
(bytes Ctypes_static.ocaml ->
bytes Ctypes_static.ocaml ->
bytes Ctypes_static.ocaml ->
unit Rustc_bls12_381_stubs.return)
Rustc_bls12_381_stubs.result