lam.cpp File Reference

#include "mim/lam.h"
#include "mim/world.h"

Include dependency graph for lam.cpp:

Go to the source code of this file.

Namespaces
namespace	mim

Functions
Helpers to work with Functions
std::deque< const App * >	mim::decurry (const Def *)
	Yields curried Apps in a flat std::deque<const App*>.
const Def *	mim::compose_cn (const Def *f, const Def *g)
	The high level view is:
std::pair< const Def *, std::vector< const Def * > >	mim::collect_args (const Def *def)
	Helper function to cope with the fact that normalizers take all arguments and not only its axiom arguments.