The demo Plugin

Table of Contents

• Operations
  • %demo.const_idx

See also

mim::demo

A minimal demo plugin

Operations

%demo.const_idx

The 42 constant, evaluated using a normalizer

axm %demo.const_idx: [n: Nat] → Idx n, normalize_const;