20 const Def* add_mem_to_lams(
Lam*,
const Def*);
21 const Def* rewrite_type(
const Def*);
22 const Def* rewrite_pi(
const Pi*);
24 const Def* mem_for_lam(
Lam*)
const;
NestPhase(World &world, std::string_view name, bool dirty, bool elide_empty)
Builds a nesting tree of all immutables‍/binders.
A dependent function type.
The World represents the whole program and manages creation of MimIR nodes (Defs).
void visit(const Nest &) override
DefMap< const Def * > Def2Def