On This Page
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package bls12-381
On This Page
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Parameters
module S : sig ... endmodule 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.resultOn This Page