package hacl-star

You can search for identifiers within the package.

in-package search v0.2.0

hacl-star
- Hacl_star
  - AutoConfig2
    
    EverCrypt_AutoConfig2
  - EverCrypt
    
    AEAD
    
    Chacha20_Poly1305
    
    Curve25519
    
    DRBG
    
    Ed25519
    
    Error
    
    HKDF
    
    HKDF_SHA2_256
    
    HKDF_SHA2_384
    
    HKDF_SHA2_512
    
    HMAC
    
    HMAC_SHA2_256
    
    HMAC_SHA2_384
    
    HMAC_SHA2_512
    
    Hash
    
    Poly1305
    
    SHA2_224
    
    SHA2_256
  - Hacl
    
    Blake2b_256
    
    Blake2b_32
    
    Blake2s_128
    
    Blake2s_32
    
    Chacha20_Poly1305_128
    
    Chacha20_Poly1305_256
    
    Chacha20_Poly1305_32
    
    Curve25519_51
    
    Curve25519_64
    
    ECDSA
    
    Ed25519
    
    HKDF_SHA2_256
    
    HKDF_SHA2_512
    
    HMAC_SHA2_256
    
    HMAC_SHA2_384
    
    HMAC_SHA2_512
    
    Keccak
    
    MD5
    
    NaCl
    
    Detached
    
    Easy
    
    Poly1305_128
    
    Poly1305_256
    
    Poly1305_32
    
    RandomBuffer
    
    SHA1
    
    SHA2_224
    
    SHA2_256
    
    SHA2_384
    
    SHA2_512
    
    SHA3_224
    
    SHA3_256
    
    SHA3_384
    
    SHA3_512
  - SharedDefs
    
    Blake2
    
    Blake2_generic
    
    Buffer
    
    CBytes
    
    Chacha20_Poly1305
    
    Chacha20_Poly1305_generic
    
    Curve25519
    
    Curve25519_generic
    
    EdDSA
    
    EdDSA_generic
    
    HKDF
    
    HKDF_generic
    
    Hacl_Hash
    
    Hacl_Spec_applied
    
    Hacl_Spec
    
    HashDefs
    
    HashFunction
    
    HashFunction_generic
    
    MAC
    
    MAC_generic
  - SharedFunctors
    
    Make_Blake2b
    
    Impl
    
    Make_Blake2b_generic
    
    C
    
    Impl
    
    Make_Blake2s
    
    Impl
    
    Make_Blake2s_generic
    
    C
    
    Impl
    
    Make_Chacha20_Poly1305
    
    Impl
    
    Make_Chacha20_Poly1305_generic
    
    C
    
    Impl
    
    Make_Curve25519
    
    Impl
    
    Make_Curve25519_generic
    
    C
    
    Impl
    
    Make_EdDSA
    
    Impl
    
    Make_EdDSA_generic
    
    C
    
    Impl
    
    Make_HKDF
    
    Impl
    
    Make_HKDF_generic
    
    C
    
    Impl
    
    Make_HMAC
    
    Impl
    
    Make_HMAC_generic
    
    C
    
    Impl
    
    Make_HashFunction
    
    Impl
    
    Make_HashFunction_generic
    
    C
    
    Impl
    
    Make_Poly1305
    
    Impl
    
    Make_Poly1305_generic
    
    C
    
    Impl

Legend:
Library
Module
Module type
Parameter
Class
Class type

type spec_Hash_Definitions_hash_alg = Unsigned.UInt8.t

val spec_Hash_Definitions_hash_alg : Unsigned.uint8 Ctypes.typ

val spec_Hash_Definitions_hash_alg_Spec_Hash_Definitions_SHA2_224 : 
  Unsigned.UInt8.t

val spec_Hash_Definitions_hash_alg_Spec_Hash_Definitions_SHA2_256 : 
  Unsigned.UInt8.t

val spec_Hash_Definitions_hash_alg_Spec_Hash_Definitions_SHA2_384 : 
  Unsigned.UInt8.t

val spec_Hash_Definitions_hash_alg_Spec_Hash_Definitions_SHA2_512 : 
  Unsigned.UInt8.t

val spec_Hash_Definitions_hash_alg_Spec_Hash_Definitions_SHA1 : 
  Unsigned.UInt8.t

val spec_Hash_Definitions_hash_alg_Spec_Hash_Definitions_MD5 : Unsigned.UInt8.t

type spec_Cipher_Expansion_impl = Unsigned.UInt8.t

val spec_Cipher_Expansion_impl : Unsigned.uint8 Ctypes.typ

val spec_Cipher_Expansion_impl_Spec_Cipher_Expansion_Hacl_CHACHA20 : 
  Unsigned.UInt8.t

val spec_Cipher_Expansion_impl_Spec_Cipher_Expansion_Vale_AES128 : 
  Unsigned.UInt8.t

val spec_Cipher_Expansion_impl_Spec_Cipher_Expansion_Vale_AES256 : 
  Unsigned.UInt8.t

type spec_Agile_Cipher_cipher_alg = Unsigned.UInt8.t

val spec_Agile_Cipher_cipher_alg : Unsigned.uint8 Ctypes.typ

val spec_Agile_Cipher_cipher_alg_Spec_Agile_Cipher_AES128 : Unsigned.UInt8.t

val spec_Agile_Cipher_cipher_alg_Spec_Agile_Cipher_AES256 : Unsigned.UInt8.t

val spec_Agile_Cipher_cipher_alg_Spec_Agile_Cipher_CHACHA20 : Unsigned.UInt8.t

type spec_Agile_AEAD_alg = Unsigned.UInt8.t

val spec_Agile_AEAD_alg : Unsigned.uint8 Ctypes.typ

val spec_Agile_AEAD_alg_Spec_Agile_AEAD_AES128_GCM : Unsigned.UInt8.t

val spec_Agile_AEAD_alg_Spec_Agile_AEAD_AES256_GCM : Unsigned.UInt8.t

val spec_Agile_AEAD_alg_Spec_Agile_AEAD_CHACHA20_POLY1305 : Unsigned.UInt8.t

val spec_Agile_AEAD_alg_Spec_Agile_AEAD_AES128_CCM : Unsigned.UInt8.t

val spec_Agile_AEAD_alg_Spec_Agile_AEAD_AES256_CCM : Unsigned.UInt8.t

val spec_Agile_AEAD_alg_Spec_Agile_AEAD_AES128_CCM8 : Unsigned.UInt8.t

val spec_Agile_AEAD_alg_Spec_Agile_AEAD_AES256_CCM8 : Unsigned.UInt8.t