(module Stdlib__digest)