StoreFun
data Store Source #
initial :: Store Source #
value :: Store -> Var -> Integer Source #
update :: Store -> Var -> Integer -> Store Source #