MimIR 0.1
MimIR is my Intermediate Representation
|
Helper class to retrieve Infer::arg if present. More...
#include <mim/def.h>
Public Member Functions | |
Ref ()=default | |
Ref (const Def *def) | |
const Def * | operator* () const |
const Def * | operator-> () const |
operator const Def * () const | |
operator bool () const | |
Static Public Member Functions | |
static const Def * | refer (const Def *def) |
Retrieves Infer::arg from def . | |
|
default |
|
inline |
|
inline |
|
inline |
Retrieves Infer::arg from def
.
Definition at line 27 of file check.cpp.
References mim::Infer::find().
Referenced by mim::Infer::find(), mim::World::iapp(), operator const Def *(), operator*(), operator->(), and mim::Def::update().