Content - 586a02328135ea42d87272743f612e8bf7af30b4 - a46d018/code/hash/Hacl.Hash.MD5.fsti

visit type:

Tip revision: b84ed58c48e02c6557b75ffdded7603bf4dd58f9 authored by Qunyan Mangus on 20 January 2019, 03:14:08 UTC
Update to match syntax changes proposed in vale issue #29

Tip revision: b84ed58

Hacl.Hash.MD5.fsti

module Hacl.Hash.MD5

open Hacl.Hash.Definitions
open Spec.Hash.Definitions

include Hacl.Hash.Core.MD5

val update_multi: update_multi_st MD5
val update_last: update_last_st MD5
val hash: hash_st MD5

Browse the archive

https://github.com/project-everest/hacl-star