AO
https://en.wikipedia.org/wiki/Temporal_logic
Я её где-то видел, там кажется около 12 операторов которые покрывают вообще всё. Я думаю это можно сделать как настраиваемую очередь в clock. Ну я так вижу реализацию)
Size: a a a
AO
AO
AO
AO
c

NF
AO
NF
AO
NF

NF

c
NF
P extends Payloads, T extends Unit<Payloads>P extends Payloads, T extends Unit<P>?🚀🚀
ф
MR
AO
MR
AO
MR