#include <fstream>
#include <fe/assert.h>
#include "mim/driver.h"
#include "mim/nest.h"
#include "mim/ast/tok.h"
#include "mim/util/util.h"
Go to the source code of this file.
|
std::ostream & | mim::operator<< (std::ostream &os, const Def *def) |
| This will stream def as an operand.
|
|
◆ CODE [1/2]
◆ CODE [2/2]
Value: case MyPrec::p: return {MyPrec::l, MyPrec::r};
Definition at line 87 of file dump.cpp.
◆ MY_PREC
Value: \
m(Nil, Bot, Nil) m(Nil, Nil, Nil) m(Lam, Arrow, Arrow) m(Nil, Lam, Pi) m(Nil, Pi, App) m(App, App, Extract) \
m(Extract, Extract, Lit) m(Nil, Lit, Lit)
Definition at line 81 of file dump.cpp.