digestif.c
SHA1.Bigstring
digestif
digestif.rakia
val init : ctx -> unit
val update : ctx -> ba -> off -> size -> unit
val finalize : ctx -> ba -> off -> unit