blob: 583dc75ba040ec49cbb971409968a067e8f992ed (
plain) (
blame)
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 uFPL.Bootstrap
from StdOverloaded import class zero
import uFPL
rwBool :: String Bool -> Expr Bool RW
roBool :: String Bool -> Expr Bool RO
rwInt :: String Int -> Expr Int RW
roInt :: String Int -> Expr Int RO
rwUInt :: String Int -> Expr Int RW
roUInt :: String Int -> Expr Int RO
rwLong :: String Int -> Expr Int RW
roLong :: String Int -> Expr Int RO
rwULong :: String Int -> Expr Int RW
roULong :: String Int -> Expr Int RO
boolmap :: Bimap Bool CExpr
intmap :: Bimap Int CExpr
longmap :: Bimap Int CExpr
b0 :: Expr Bool RO
b1 :: Expr Bool RO
b2 :: Expr Bool RO
b3 :: Expr Bool RO
b4 :: Expr Bool RO
millis :: Expr Int RO
false :: Expr Bool RO
true :: Expr Bool RO
predefShares :: Shares
rts :: String
instance zero CProg
|
