MimIR/demo_2normalizers_8cpp_source.html

#include "mim/world.h"


#include "mim/plug/demo/demo.h"


namespace mim::plug::demo {


Ref normalize_const(Ref type, Ref, Ref arg) {

    auto& world = type->world();

    return world.lit(world.type_idx(arg), 42);

}


MIM_demo_NORMALIZER_IMPL


} // namespace mim::plug::demo


mim::Def::world
World & world() const
Definition def.cpp:415

mim::Ref
Helper class to retrieve Infer::arg if present.
Definition def.h:86

mim::World::lit
const Lit * lit(Ref type, u64 val)
Definition world.cpp:451

MIM_demo_NORMALIZER_IMPL
#define MIM_demo_NORMALIZER_IMPL
Definition autogen.h:22

demo.h

mim::plug::demo
The demo Plugin
Definition normalizers.cpp:5

mim::plug::demo::normalize_const
Ref normalize_const(Ref type, Ref, Ref arg)
Definition normalizers.cpp:7

world.h