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