HashCached.LazyHash
type t = Printable.HashCached(M).LazyHash.t
val make : M.t -> t
val force : t -> int