Up
–
goblint
»
LazyEval
» Make
Module
LazyEval.Make
Parameters
Signature
Parameters
module
M
:
sig
...
end
Signature
type
t
val
make :
M.t
->
t
val
force :
t
->
M.result