bls12-381
OCaml binding for bls12-381 from librustzcash
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Library bls12-381
Parameters
module F : Cstubs.FOREIGNSignature
val uncompressed_check_bytes :
( bytes Ctypes_static.ocaml -> bool F.return ) F.resultval compressed_check_bytes :
( bytes Ctypes_static.ocaml -> bool F.return ) F.resultval one : ( bytes Ctypes_static.ocaml -> unit F.return ) F.resultval zero : ( bytes Ctypes_static.ocaml -> unit F.return ) F.resultval random : ( bytes Ctypes_static.ocaml -> unit F.return ) F.resultval add :
( bytes Ctypes_static.ocaml ->
bytes Ctypes_static.ocaml ->
bytes Ctypes_static.ocaml ->
unit F.return )
F.resultval double :
( bytes Ctypes_static.ocaml ->
bytes Ctypes_static.ocaml ->
unit F.return )
F.resultval negate :
( bytes Ctypes_static.ocaml ->
bytes Ctypes_static.ocaml ->
unit F.return )
F.resultval eq :
( bytes Ctypes_static.ocaml ->
bytes Ctypes_static.ocaml ->
bool F.return )
F.resultval is_zero : ( bytes Ctypes_static.ocaml -> bool F.return ) F.resultval mul :
( bytes Ctypes_static.ocaml ->
bytes Ctypes_static.ocaml ->
bytes Ctypes_static.ocaml ->
unit F.return )
F.resultval compressed_one : ( bytes Ctypes_static.ocaml -> unit F.return ) F.resultval compressed_zero : ( bytes Ctypes_static.ocaml -> unit F.return ) F.resultval compressed_random : ( bytes Ctypes_static.ocaml -> unit F.return ) F.resultval compressed_add :
( bytes Ctypes_static.ocaml ->
bytes Ctypes_static.ocaml ->
bytes Ctypes_static.ocaml ->
unit F.return )
F.resultval compressed_negate :
( bytes Ctypes_static.ocaml ->
bytes Ctypes_static.ocaml ->
unit F.return )
F.resultval compressed_eq :
( bytes Ctypes_static.ocaml ->
bytes Ctypes_static.ocaml ->
bool F.return )
F.resultval compressed_is_zero :
( bytes Ctypes_static.ocaml -> bool F.return ) F.resultval compressed_double :
( bytes Ctypes_static.ocaml ->
bytes Ctypes_static.ocaml ->
unit F.return )
F.resultval compressed_mul :
( bytes Ctypes_static.ocaml ->
bytes Ctypes_static.ocaml ->
bytes Ctypes_static.ocaml ->
unit F.return )
F.resultval compressed_of_uncompressed :
( bytes Ctypes_static.ocaml ->
bytes Ctypes_static.ocaml ->
unit F.return )
F.resultval uncompressed_of_compressed :
( bytes Ctypes_static.ocaml ->
bytes Ctypes_static.ocaml ->
unit F.return )
F.resultval build_from_components :
( bytes Ctypes_static.ocaml ->
bytes Ctypes_static.ocaml ->
bytes Ctypes_static.ocaml ->
bytes Ctypes_static.ocaml ->
bytes Ctypes_static.ocaml ->
bool F.return )
F.result