Skip to main content

Browse the archive

Revision 1068d4afc039dbd12db6dbce298cdb0962d6d224 authored by Aymeric Fromherz on 01 April 2019, 04:39:20 UTC, committed by Aymeric Fromherz on 01 April 2019, 04:39:20 UTC 
Hints
1 parent d7fe03c
Raw File
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
back to top