beta_red.cpp File Reference

#include "mim/phase/beta_red.h"

Include dependency graph for beta_red.cpp:

Go to the source code of this file.

Namespaces
namespace	mim

Functions
static bool	mim::is_trivial (Lam *lam)