Revision 724d1045f60f13d79df1afc5190955afdfa73ec1 authored by Victor Dumitrescu on 16 April 2020, 09:31:08 UTC, committed by Victor Dumitrescu on 16 April 2020, 09:31:08 UTC
Co-authored-by: @protz
1 parent ca37fbf
Spec.MD5.fsti
module Spec.MD5
open Spec.Hash.Definitions
val init: init_t MD5
val update: update_t MD5
val pad: pad_t MD5
val finish: finish_t MD5
Computing file changes ...