normalizers.cpp File Reference

#include <fe/term.h>
#include <mim/tuple.h>
#include <mim/world.h>
#include "mim/plug/refly/refly.h"

Include dependency graph for normalizers.cpp:

Go to the source code of this file.

Namespaces
namespace	mim
namespace	mim::plug
namespace	mim::plug::refly
	The refly Plugin

Functions
<tt>refly.dbg</tt>
template<dbg id>
const Def *	mim::plug::refly::normalize_dbg (const Def *, const Def *, const Def *arg)
<tt>refly.reify</tt>
const Def *	mim::plug::refly::normalize_reify (const Def *, const Def *, const Def *arg)
<tt>refly.reflect</tt>
const Def *	mim::plug::refly::normalize_reflect (const Def *, const Def *, const Def *arg)
<tt>refly.type</tt>
const Def *	mim::plug::refly::normalize_type (const Def *, const Def *, const Def *arg)
<tt>refly.gid</tt>
const Def *	mim::plug::refly::normalize_gid (const Def *, const Def *, const Def *arg)
<tt>refly.struc</tt>
template<struc id>
const Def *	mim::plug::refly::normalize_struc (const Def *, const Def *, const Def *arg)
<tt>refly.alpha</tt>
template<alpha id>
const Def *	mim::plug::refly::normalize_alpha (const Def *, const Def *, const Def *arg)
<tt>refly.check_bot</tt>
const Def *	mim::plug::refly::normalize_check_bot (const Def *, const Def *c, const Def *arg)
<tt>refly.check</tt>
const Def *	mim::plug::refly::normalize_check (const Def *typetype, const Def *, const Def *arg)