Documentation

plus :: Int -> Int -> Int Source #

minus :: Int -> Int -> Int Source #

times :: Int -> Int -> Int Source #

eq :: Int -> Int -> Bool Source #

neq :: Int -> Int -> Bool Source #

leq :: Int -> Int -> Bool Source #

geq :: Int -> Int -> Bool Source #

lt :: Int -> Int -> Bool Source #

gt :: Int -> Int -> Bool Source #

liquidAssertB :: Bool -> Bool Source #

liquidAssert :: Bool -> a -> a Source #

liquidAssume :: Bool -> a -> a Source #

liquidAssumeB :: (a -> Bool) -> a -> a Source #

unsafeError :: String -> a Source #

liquidError :: String -> a Source #

crash :: Bool -> a Source #

force :: Bool Source #

choose :: Int -> Int Source #

isEven :: Int -> Bool Source #

isOdd :: Int -> Bool Source #

safeZipWith :: (a -> b -> c) -> [a] -> [b] -> [c] Source #

(==>) :: Bool -> Bool -> Bool infixr 8 Source #