normalizers.cpp File Reference

#include <rang.hpp>
#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
%refly.dbg
template<dbg id>
Ref	mim::plug::refly::normalize_dbg (Ref type, Ref callee, Ref arg)
%refly.reify
Ref	mim::plug::refly::normalize_reify (Ref, Ref, Ref arg)
%refly.reflect
Ref	mim::plug::refly::normalize_reflect (Ref, Ref, Ref arg)
%refly.refine
Ref	mim::plug::refly::normalize_refine (Ref type, Ref callee, Ref arg)
%refly.gid
Ref	mim::plug::refly::normalize_gid (Ref, Ref, Ref arg)