Module Digest.Checked

type t