digestif.c
SHA256.Bytes
digestif
digestif.rakia
val init : ctx -> unit
val update : ctx -> st -> off -> size -> unit
val finalize : ctx -> st -> off -> unit