Skip to main content

Browse the archive

Revision 629fcb5dab3ab88d72d474ac126fe2345502bc97 authored by karthik.bhargavan on 01 April 2020, 17:05:13 UTC, committed by karthik.bhargavan on 01 April 2020, 17:05:13 UTC 
merged master
2 parent s d638355 + fc01b0f
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