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

rts :: String

instance zero CProg