package hacl-star-raw

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

hacl-star-raw

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module F : Cstubs.FOREIGN

Signature

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

val hacl_EC_K256_is_point_valid : 
  (bytes Ctypes_static.ocaml -> bool F.return) F.result