equal
deleted
inserted
replaced
18 |
18 |
19 structure AM_SML : AM_SML = struct |
19 structure AM_SML : AM_SML = struct |
20 |
20 |
21 open AbstractMachine; |
21 open AbstractMachine; |
22 |
22 |
23 val dump_output = ref NONE |
23 val dump_output = ref (NONE: string option) |
24 |
24 |
25 type program = string * string * (int Inttab.table) * (int Inttab.table) * (term Inttab.table) * (term -> term) |
25 type program = string * string * (int Inttab.table) * (int Inttab.table) * (term Inttab.table) * (term -> term) |
26 |
26 |
27 val saved_result = ref (NONE:(string*term)option) |
27 val saved_result = ref (NONE:(string*term)option) |
28 |
28 |