Store
data Store Source #
Defined in Store
Methods
showsPrec :: Int -> Store -> ShowS #
show :: Store -> String #
showList :: [Store] -> ShowS #
(==) :: Store -> Store -> Bool #
(/=) :: Store -> Store -> Bool #
initial :: Store Source #
value :: Store -> Var -> Integer Source #
update :: Store -> Var -> Integer -> Store Source #