Try2.het revision e1ad3d8dcd33fe91acdffd64989e3e6561eab47a
e1ad3d8dcd33fe91acdffd64989e3e6561eab47aChristian Maederlogic ExtModal
e1ad3d8dcd33fe91acdffd64989e3e6561eab47aChristian Maeder time modality t
e1ad3d8dcd33fe91acdffd64989e3e6561eab47aChristian Maeder modalities a,b
e1ad3d8dcd33fe91acdffd64989e3e6561eab47aChristian Maeder flexible op s__: N -> N
e1ad3d8dcd33fe91acdffd64989e3e6561eab47aChristian Maeder flexible ops 0,1: N