Revision 93281362ad4fa0df971a98b303733ad47f7ee0b5 authored by Jonathan Protzenko on 15 April 2020, 18:25:02 UTC, committed by Jonathan Protzenko on 15 April 2020, 18:25:02 UTC
1 parent 321f8c4
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 ...
