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
32
33
34
35
36
37
38
39
|
definition module general
from StdFile import instance <<< Int,class <<< (..)
from StdInt import instance + Int,class + (..),instance ~ Int,class ~ (..)
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,b,c,d,e,f) | <<< a & <<< b & <<< c & <<< d & <<< e & <<< f
instance <<< (a,b,c,d,e,f,g) | <<< a & <<< b & <<< c & <<< d & <<< e & <<< f & <<< g
instance <<< [a] | <<< a
:: Bind a b =
{ bind_src :: !a
, bind_dst :: !b
}
:: Env a b :== [.Bind a b]
:: Optional x = Yes !x | No
hasOption :: (Optional x) -> Bool
(--->) infix :: .a !b -> .a | <<< b
(<---) infix :: !.a !b -> .a | <<< b
traceValue :: !String !String .a -> .a
(-?->) infix :: .a !(!Bool, !b) -> .a | <<< b
instance + {#Char}
cMAXINT :== 2147483647
:: BITVECT :== Int
|
