S.WITH_DIGEST
type t
val digest : t -> string
digest t is a unique string for t that can be used as a primary key in a database. Two ts are considered equal if they have the same digest.
digest t
t