package hacl-star-raw

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module F : Cstubs.FOREIGN

type gcm_args = [ `gcm_args ] Ctypes.structure

val gcm_args : [ `gcm_args ] Ctypes.structure Ctypes.typ

val gcm_args_plain : 
  (Unsigned.uint8 Ctypes_static.ptr, [ `gcm_args ] Ctypes.structure)
    Ctypes.field

val gcm_args_plain_len : 
  (Unsigned.uint64, [ `gcm_args ] Ctypes.structure) Ctypes.field

val gcm_args_aad : 
  (Unsigned.uint8 Ctypes_static.ptr, [ `gcm_args ] Ctypes.structure)
    Ctypes.field

val gcm_args_aad_len : 
  (Unsigned.uint64, [ `gcm_args ] Ctypes.structure) Ctypes.field

val gcm_args_iv : 
  (Unsigned.uint8 Ctypes_static.ptr, [ `gcm_args ] Ctypes.structure)
    Ctypes.field

val gcm_args_expanded_key : 
  (Unsigned.uint8 Ctypes_static.ptr, [ `gcm_args ] Ctypes.structure)
    Ctypes.field

val gcm_args_cipher : 
  (Unsigned.uint8 Ctypes_static.ptr, [ `gcm_args ] Ctypes.structure)
    Ctypes.field

val gcm_args_tag : 
  (Unsigned.uint8 Ctypes_static.ptr, [ `gcm_args ] Ctypes.structure)
    Ctypes.field