This commit is contained in:
Dmitry Boulytchev 2018-03-27 22:53:31 +03:00
parent 087bdfd10a
commit 08c0d5d4a2
2 changed files with 287 additions and 1 deletions

View file

@ -18,7 +18,7 @@ open Language
(* The type for the stack machine program *)
type prg = insn list
(* The type for the stack machine configuration: control stack, stack and configuration from statement
interpreter
*)