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

liquidError :: String -> a Source

crash :: Bool -> a Source

force :: t -> Bool Source

choose :: Int -> Int Source

isEven :: Int -> Bool Source

isOdd :: Int -> Bool Source

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