hacl-star-raw 0.7.0 · OCaml Package

Parameters

module F : Cstubs.FOREIGN

Signature

val hacl_Bignum_Convert_bn_from_bytes_be_uint64 : 
  (Unsigned.uint32 ->
    bytes Ctypes_static.ocaml ->
    Unsigned.uint64 Ctypes_static.ptr ->
    unit F.return)
    F.result

val hacl_Bignum_Convert_bn_to_bytes_be_uint64 : 
  (Unsigned.uint32 ->
    Unsigned.uint64 Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    unit F.return)
    F.result

val hacl_Bignum_Base_mul_wide_add2_u32 : 
  (Unsigned.uint32 ->
    Unsigned.uint32 ->
    Unsigned.uint32 ->
    Unsigned.uint32 Ctypes_static.ptr ->
    Unsigned.uint32 F.return)
    F.result

val hacl_Bignum_Base_mul_wide_add2_u64 : 
  (Unsigned.uint64 ->
    Unsigned.uint64 ->
    Unsigned.uint64 ->
    Unsigned.uint64 Ctypes_static.ptr ->
    Unsigned.uint64 F.return)
    F.result

val hacl_Bignum_Lib_bn_get_top_index_u32 : 
  (Unsigned.uint32 ->
    Unsigned.uint32 Ctypes_static.ptr ->
    Unsigned.uint32 F.return)
    F.result

val hacl_Bignum_Lib_bn_get_top_index_u64 : 
  (Unsigned.uint32 ->
    Unsigned.uint64 Ctypes_static.ptr ->
    Unsigned.uint64 F.return)
    F.result

val hacl_Bignum_Addition_bn_sub_eq_len_u32 : 
  (Unsigned.uint32 ->
    Unsigned.uint32 Ctypes_static.ptr ->
    Unsigned.uint32 Ctypes_static.ptr ->
    Unsigned.uint32 Ctypes_static.ptr ->
    Unsigned.uint32 F.return)
    F.result

val hacl_Bignum_Addition_bn_sub_eq_len_u64 : 
  (Unsigned.uint32 ->
    Unsigned.uint64 Ctypes_static.ptr ->
    Unsigned.uint64 Ctypes_static.ptr ->
    Unsigned.uint64 Ctypes_static.ptr ->
    Unsigned.uint64 F.return)
    F.result

val hacl_Bignum_Addition_bn_add_eq_len_u32 : 
  (Unsigned.uint32 ->
    Unsigned.uint32 Ctypes_static.ptr ->
    Unsigned.uint32 Ctypes_static.ptr ->
    Unsigned.uint32 Ctypes_static.ptr ->
    Unsigned.uint32 F.return)
    F.result

val hacl_Bignum_Addition_bn_add_eq_len_u64 : 
  (Unsigned.uint32 ->
    Unsigned.uint64 Ctypes_static.ptr ->
    Unsigned.uint64 Ctypes_static.ptr ->
    Unsigned.uint64 Ctypes_static.ptr ->
    Unsigned.uint64 F.return)
    F.result

val hacl_Bignum_Multiplication_bn_mul_u32 : 
  (Unsigned.uint32 ->
    Unsigned.uint32 Ctypes_static.ptr ->
    Unsigned.uint32 ->
    Unsigned.uint32 Ctypes_static.ptr ->
    Unsigned.uint32 Ctypes_static.ptr ->
    unit F.return)
    F.result

val hacl_Bignum_Multiplication_bn_mul_u64 : 
  (Unsigned.uint32 ->
    Unsigned.uint64 Ctypes_static.ptr ->
    Unsigned.uint32 ->
    Unsigned.uint64 Ctypes_static.ptr ->
    Unsigned.uint64 Ctypes_static.ptr ->
    unit F.return)
    F.result

val hacl_Bignum_Multiplication_bn_sqr_u32 : 
  (Unsigned.uint32 ->
    Unsigned.uint32 Ctypes_static.ptr ->
    Unsigned.uint32 Ctypes_static.ptr ->
    unit F.return)
    F.result

val hacl_Bignum_Multiplication_bn_sqr_u64 : 
  (Unsigned.uint32 ->
    Unsigned.uint64 Ctypes_static.ptr ->
    Unsigned.uint64 Ctypes_static.ptr ->
    unit F.return)
    F.result

package hacl-star-raw

Parameters

Signature