Cross Reference: /hets/ExtModal/Tries/Try2.het
Try2.het revision fb37437497883c33a8a00af9f3bb84bb7350a305
2N/Alogic ExtModal
2N/A
2N/Aspec Try2=
2N/A time modality t
2N/A modalities a,b
2N/A sort N
2N/A flexible op s__: N -> N
2N/A flexible ops 0,1: N
2N/A . [a] >= 2 (not (s 0 = 1)) U X X true
2N/A . <(a)> <= 00 false S (X true U Y true)
2N/A . < > <=1 true U <> <=1 true
2N/A . <true?> <=1 true
2N/A . mu b. true %implied
2N/Aend
2N/A