Up – Package index » goblint » Library goblint.lib » Lattice » HashCached » LazyHash

Module `HashCached.LazyHash`

type t = Printable.HashCached(M).LazyHash.t

val make : M.t -> t

val force : t -> int