MicroTESK

Это будет полезно для спецификации виртуальных машин и позволит заменить загрузку данных через псевдо операции.

Например:

mode F(i: card(4), a: card(4), b: card(4), c: card(4)) = FMEM[i..i+2]

Возможно, стоит это сделать с использованием структур:

struct f_structure (
  i: card(4),
  a: card(4),
  b: card(4),
  c: card(4)
)

mode F(v: f_structure): {FMEM[f_structure.i] = f_structure}

Нужно понять, возможно ли добавить это в инструмент.