1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
definition module general
from StdEnv import <<<, +, ~
instance ~ Bool
instance <<< Bool
instance <<< (a,b) | <<< a & <<< b
instance <<< (a,b,c) | <<< a & <<< b & <<< c
instance <<< (a,b,c,d) | <<< a & <<< b & <<< c & <<< d
instance <<< (a,b,c,d,e) | <<< a & <<< b & <<< c & <<< d & <<< e
instance <<< [a] | <<< a
:: Bind a b =
{ bind_src :: !a
, bind_dst :: !b
}
:: Env a b :== [Bind a b]
:: Optional x = Yes !x | No
(--->) infix :: .a !b -> .a | <<< b
(-?->) infix :: .a !(!Bool, !b) -> .a | <<< b
instance + {#Char}
cMAXINT :== 2147483647
:: BITVECT :== Int
|
