binary conjunction and disjunction (though calling them con and dis will clash with the BDD functions, so use other names, or go all-in with a type class for boolean-ish?)
M or :tophat: for "considers possible"
To be removed:
PubAnnounce
PubAnnounceW
Announce
AnnounceW
All of them should be defined as (abbreviations of) Dia DynamicOp ...
Missing:
conanddiswill clash with the BDD functions, so use other names, or go all-in with a type class for boolean-ish?)To be removed:
PubAnnouncePubAnnounceWAnnounceAnnounceWAll of them should be defined as (abbreviations of)Dia DynamicOp ...