package bls12-381-legacy

  1. Overview
  2. Docs

Parameters

module S : sig ... end
module F : Cstubs.FOREIGN

Signature

val uncompressed_check_bytes : (bytes Ctypes_static.ocaml -> bool F.return) F.result
val compressed_check_bytes : (bytes Ctypes_static.ocaml -> bool F.return) F.result
val one : (bytes Ctypes_static.ocaml -> unit F.return) F.result
val zero : (bytes Ctypes_static.ocaml -> unit F.return) F.result
val random : (bytes Ctypes_static.ocaml -> unit F.return) F.result
val double : (bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> unit F.return) F.result
val negate : (bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> unit F.return) F.result
val eq : (bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bool F.return) F.result
val is_zero : (bytes Ctypes_static.ocaml -> bool F.return) F.result
val compressed_one : (bytes Ctypes_static.ocaml -> unit F.return) F.result
val compressed_zero : (bytes Ctypes_static.ocaml -> unit F.return) F.result
val compressed_random : (bytes Ctypes_static.ocaml -> unit F.return) F.result
val compressed_add : (bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> unit F.return) F.result
val compressed_negate : (bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> unit F.return) F.result
val compressed_eq : (bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bool F.return) F.result
val compressed_is_zero : (bytes Ctypes_static.ocaml -> bool F.return) F.result
val compressed_double : (bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> unit F.return) F.result
val compressed_mul : (bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> unit F.return) F.result
val compressed_of_uncompressed : (bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> unit F.return) F.result
val uncompressed_of_compressed : (bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> unit F.return) F.result