type hacl_Streaming_MD_state_32 =
[ `hacl_Streaming_MD_state_32 ] Ctypes.structureval hacl_Streaming_MD_state_32 :
[ `hacl_Streaming_MD_state_32 ] Ctypes.structure Ctypes.typval hacl_Streaming_MD_state_32_block_state :
(Unsigned.uint32 Ctypes_static.ptr,
[ `hacl_Streaming_MD_state_32 ] Ctypes.structure)
Ctypes.fieldval hacl_Streaming_MD_state_32_buf :
(Unsigned.uint8 Ctypes_static.ptr,
[ `hacl_Streaming_MD_state_32 ] Ctypes.structure)
Ctypes.fieldval hacl_Streaming_MD_state_32_total_len :
(Unsigned.uint64, [ `hacl_Streaming_MD_state_32 ] Ctypes.structure)
Ctypes.fieldtype hacl_Streaming_MD_state_64 =
[ `hacl_Streaming_MD_state_64 ] Ctypes.structureval hacl_Streaming_MD_state_64 :
[ `hacl_Streaming_MD_state_64 ] Ctypes.structure Ctypes.typval hacl_Streaming_MD_state_64_block_state :
(Unsigned.uint64 Ctypes_static.ptr,
[ `hacl_Streaming_MD_state_64 ] Ctypes.structure)
Ctypes.fieldval hacl_Streaming_MD_state_64_buf :
(Unsigned.uint8 Ctypes_static.ptr,
[ `hacl_Streaming_MD_state_64 ] Ctypes.structure)
Ctypes.fieldval hacl_Streaming_MD_state_64_total_len :
(Unsigned.uint64, [ `hacl_Streaming_MD_state_64 ] Ctypes.structure)
Ctypes.field