package hacl-star-raw

  1. Overview
  2. Docs
package hacl-star-raw
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module F : Cstubs.FOREIGN

Signature

type hacl_Impl_SHA2_Types_uint8_2p = [ `hacl_Impl_SHA2_Types_uint8_2p ] Ctypes.structure
val hacl_Impl_SHA2_Types_uint8_2p : [ `hacl_Impl_SHA2_Types_uint8_2p ] Ctypes.structure Ctypes.typ
val hacl_Impl_SHA2_Types_uint8_2p_fst : (Unsigned.uint8 Ctypes_static.ptr, [ `hacl_Impl_SHA2_Types_uint8_2p ] Ctypes.structure) Ctypes.field
val hacl_Impl_SHA2_Types_uint8_2p_snd : (Unsigned.uint8 Ctypes_static.ptr, [ `hacl_Impl_SHA2_Types_uint8_2p ] Ctypes.structure) Ctypes.field
type hacl_Impl_SHA2_Types_uint8_3p = [ `hacl_Impl_SHA2_Types_uint8_3p ] Ctypes.structure
val hacl_Impl_SHA2_Types_uint8_3p : [ `hacl_Impl_SHA2_Types_uint8_3p ] Ctypes.structure Ctypes.typ
val hacl_Impl_SHA2_Types_uint8_3p_fst : (Unsigned.uint8 Ctypes_static.ptr, [ `hacl_Impl_SHA2_Types_uint8_3p ] Ctypes.structure) Ctypes.field
val hacl_Impl_SHA2_Types_uint8_3p_snd : ([ `hacl_Impl_SHA2_Types_uint8_2p ] Ctypes.structure, [ `hacl_Impl_SHA2_Types_uint8_3p ] Ctypes.structure) Ctypes.field
type hacl_Impl_SHA2_Types_uint8_4p = [ `hacl_Impl_SHA2_Types_uint8_4p ] Ctypes.structure
val hacl_Impl_SHA2_Types_uint8_4p : [ `hacl_Impl_SHA2_Types_uint8_4p ] Ctypes.structure Ctypes.typ
val hacl_Impl_SHA2_Types_uint8_4p_fst : (Unsigned.uint8 Ctypes_static.ptr, [ `hacl_Impl_SHA2_Types_uint8_4p ] Ctypes.structure) Ctypes.field
val hacl_Impl_SHA2_Types_uint8_4p_snd : ([ `hacl_Impl_SHA2_Types_uint8_3p ] Ctypes.structure, [ `hacl_Impl_SHA2_Types_uint8_4p ] Ctypes.structure) Ctypes.field
type hacl_Impl_SHA2_Types_uint8_5p = [ `hacl_Impl_SHA2_Types_uint8_5p ] Ctypes.structure
val hacl_Impl_SHA2_Types_uint8_5p : [ `hacl_Impl_SHA2_Types_uint8_5p ] Ctypes.structure Ctypes.typ
val hacl_Impl_SHA2_Types_uint8_5p_fst : (Unsigned.uint8 Ctypes_static.ptr, [ `hacl_Impl_SHA2_Types_uint8_5p ] Ctypes.structure) Ctypes.field
val hacl_Impl_SHA2_Types_uint8_5p_snd : ([ `hacl_Impl_SHA2_Types_uint8_4p ] Ctypes.structure, [ `hacl_Impl_SHA2_Types_uint8_5p ] Ctypes.structure) Ctypes.field
type hacl_Impl_SHA2_Types_uint8_6p = [ `hacl_Impl_SHA2_Types_uint8_6p ] Ctypes.structure
val hacl_Impl_SHA2_Types_uint8_6p : [ `hacl_Impl_SHA2_Types_uint8_6p ] Ctypes.structure Ctypes.typ
val hacl_Impl_SHA2_Types_uint8_6p_fst : (Unsigned.uint8 Ctypes_static.ptr, [ `hacl_Impl_SHA2_Types_uint8_6p ] Ctypes.structure) Ctypes.field
val hacl_Impl_SHA2_Types_uint8_6p_snd : ([ `hacl_Impl_SHA2_Types_uint8_5p ] Ctypes.structure, [ `hacl_Impl_SHA2_Types_uint8_6p ] Ctypes.structure) Ctypes.field
type hacl_Impl_SHA2_Types_uint8_7p = [ `hacl_Impl_SHA2_Types_uint8_7p ] Ctypes.structure
val hacl_Impl_SHA2_Types_uint8_7p : [ `hacl_Impl_SHA2_Types_uint8_7p ] Ctypes.structure Ctypes.typ
val hacl_Impl_SHA2_Types_uint8_7p_fst : (Unsigned.uint8 Ctypes_static.ptr, [ `hacl_Impl_SHA2_Types_uint8_7p ] Ctypes.structure) Ctypes.field
val hacl_Impl_SHA2_Types_uint8_7p_snd : ([ `hacl_Impl_SHA2_Types_uint8_6p ] Ctypes.structure, [ `hacl_Impl_SHA2_Types_uint8_7p ] Ctypes.structure) Ctypes.field
type hacl_Impl_SHA2_Types_uint8_8p = [ `hacl_Impl_SHA2_Types_uint8_8p ] Ctypes.structure
val hacl_Impl_SHA2_Types_uint8_8p : [ `hacl_Impl_SHA2_Types_uint8_8p ] Ctypes.structure Ctypes.typ
val hacl_Impl_SHA2_Types_uint8_8p_fst : (Unsigned.uint8 Ctypes_static.ptr, [ `hacl_Impl_SHA2_Types_uint8_8p ] Ctypes.structure) Ctypes.field
val hacl_Impl_SHA2_Types_uint8_8p_snd : ([ `hacl_Impl_SHA2_Types_uint8_7p ] Ctypes.structure, [ `hacl_Impl_SHA2_Types_uint8_8p ] Ctypes.structure) Ctypes.field
type hacl_Impl_SHA2_Types_uint8_2x4p = [ `hacl_Impl_SHA2_Types_uint8_2x4p ] Ctypes.structure
val hacl_Impl_SHA2_Types_uint8_2x4p : [ `hacl_Impl_SHA2_Types_uint8_2x4p ] Ctypes.structure Ctypes.typ
val hacl_Impl_SHA2_Types_uint8_2x4p_fst : ([ `hacl_Impl_SHA2_Types_uint8_4p ] Ctypes.structure, [ `hacl_Impl_SHA2_Types_uint8_2x4p ] Ctypes.structure) Ctypes.field
val hacl_Impl_SHA2_Types_uint8_2x4p_snd : ([ `hacl_Impl_SHA2_Types_uint8_4p ] Ctypes.structure, [ `hacl_Impl_SHA2_Types_uint8_2x4p ] Ctypes.structure) Ctypes.field
type hacl_Impl_SHA2_Types_uint8_2x8p = [ `hacl_Impl_SHA2_Types_uint8_2x8p ] Ctypes.structure
val hacl_Impl_SHA2_Types_uint8_2x8p : [ `hacl_Impl_SHA2_Types_uint8_2x8p ] Ctypes.structure Ctypes.typ
val hacl_Impl_SHA2_Types_uint8_2x8p_fst : ([ `hacl_Impl_SHA2_Types_uint8_8p ] Ctypes.structure, [ `hacl_Impl_SHA2_Types_uint8_2x8p ] Ctypes.structure) Ctypes.field
val hacl_Impl_SHA2_Types_uint8_2x8p_snd : ([ `hacl_Impl_SHA2_Types_uint8_8p ] Ctypes.structure, [ `hacl_Impl_SHA2_Types_uint8_2x8p ] Ctypes.structure) Ctypes.field