Revision 5b2fbf3c4989a9b0587a00578f69f3041df3f957 authored by Jonathan Protzenko on 08 April 2020, 18:59:46 UTC, committed by Jonathan Protzenko on 08 April 2020, 18:59:46 UTC
1 parent d4ca892
Spec.SHA1.fsti
module Spec.SHA1
open Spec.Hash.Definitions
val init: init_t SHA1
val update: update_t SHA1
val pad: pad_t SHA1
val finish: finish_t SHA1
Computing file changes ...
