package hacl-star-raw

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module F : Cstubs.FOREIGN

Signature

type hacl_Impl_Blake2_Core_m_spec = Unsigned.UInt8.t
val hacl_Impl_Blake2_Core_m_spec : Unsigned.uint8 Ctypes.typ
val hacl_Impl_Blake2_Core_m_spec_Hacl_Impl_Blake2_Core_M32 : Unsigned.UInt8.t
val hacl_Impl_Blake2_Core_m_spec_Hacl_Impl_Blake2_Core_M128 : Unsigned.UInt8.t
val hacl_Impl_Blake2_Core_m_spec_Hacl_Impl_Blake2_Core_M256 : Unsigned.UInt8.t
OCaml

Innovation. Community. Security.