Definition: a thing is twiddled if I6 routine "Twiddle" makes it so (it no longer untwiddled).
To twiddle (T - thing) (this is twiddling):
say "[The T] is now twiddled."
Include (-
[ Twiddle o set;
! do low-level things
((+ twiddling +)-->1)(o);
! do more things
];
-)
Is there a more readable way of calling an I7 phrase within an I6 inclusion? I would rather not use the -->1.
Alternatively, is there an I7 equivalent to “makes it so”?
There is no pure I7 way of writing a “Definition… makes it so…” statement. (I assume you want to provide ways to test and set some abstract value.) There are of course many ways to set up an I7 adjective that is both testable and settable.