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.SHA2.fsti 
module Spec.SHA2

open Spec.Hash.Definitions

val init: a:sha2_alg -> init_t a

val update: a:sha2_alg -> update_t a

val pad: a:sha2_alg -> pad_t a

val finish: a:sha2_alg -> finish_t a
back to top