CBMC
|
#include <functional>
#include <optional>
Go to the source code of this file.
Classes | |
class | lazyt< valuet > |
Functions | |
template<typename funt > | |
auto | lazy (funt fun) -> lazyt< decltype(fun())> |
Delay the computation of fun to the next time the force method is called. More... | |