Up – Package index » goblint » Library goblint.lib » Goblint_lib » LazyEval » Make

Module `LazyEval.Make`

Parameters

module M : sig ... end

Signature

type t

val make : M.t -> t

val force : t -> M.result