16 void keep(
Lam* lam) { keep_.emplace(lam); }
Optimistically performs β-reduction (aka inlining).
undo_t analyze(const Proxy *) override
Ref rewrite(Ref) override
Inherit from this class using CRTP, if you do need a Pass with a state and a fixed-point.
An optimizer that combines several optimizations in an optimal way.
Helper class to retrieve Infer::arg if present.