lam.h File Reference

#include <array>
#include <variant>
#include "mim/def.h"

Include dependency graph for lam.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	mim::Pi
	A dependent function type. More...
class	mim::Lam
	A function. More...
class	mim::App

Namespaces
namespace	mim

Typedefs
Lam
GIDSet / GIDMap keyed by Lam::gid of Lam*.
template<class To>
using	mim::LamMap = GIDMap<Lam*, To>
using	mim::LamSet = GIDSet<Lam*>
using	mim::Lam2Lam = LamMap<Lam*>