fact: Example eg1 : parse " if x = y + 1 + 2 - y * 6 + 3 then x := x * 1; y := 0 else skip end " = SomeE <{ if ("x" = ("y" + 1 + 2 - "y" * 6 + 3)) then "x" := "x" * 1; "y" := 0 else skip end }>.
imports: Coq(Strings.String) Coq(Strings.Ascii) Coq(Arith.Arith) Coq(Init.Nat) Coq(Arith.EqNat) Coq(Lists.List) LF(Maps Imp)