path: root/tiger-compiler/tests/assert/good/assert-var.tig

let
  var value := 10
  in
  assert value = 10
end