MimIR 0.1
MimIR is my Intermediate Representation
|
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> | |
const Def * | mim::plug::refly::normalize_dbg (const Def *, const Def *, const Def *arg) |
%refly.reify | |
const Def * | mim::plug::refly::normalize_reify (const Def *, const Def *, const Def *arg) |
%refly.reflect | |
const Def * | mim::plug::refly::normalize_reflect (const Def *, const Def *, const Def *arg) |
%refly.refine | |
const Def * | mim::plug::refly::normalize_refine (const Def *, const Def *, const Def *arg) |
%refly.gid | |
const Def * | mim::plug::refly::normalize_gid (const Def *, const Def *, const Def *arg) |