fact: Definition subtract_3_from_5_slowly : com := <{ X := 3 ; Z := 5 ; subtract_slowly }>.
imports: Coq(Bool.Bool) Coq(Init.Nat) Coq(Arith.Arith) Coq(Arith.EqNat) Coq(Lia) Coq(Lists.List) Coq(Strings.String) LF(Maps)