blob: 1b13dcabf55c5a0308dab78071cbb27f8bf66cdd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
(*
* UPEM / L3 / Functional programming / Project: URM
* Pacien TRAN-GIRARD, Adam NAILI
*)
open Common
val compile_preprocess : eurmcmd list -> eurmcmd list
val compile_stage1 : eurmcmd list -> state -> eurmcmd list * state
val compile_stage2 : eurmcmd list -> state -> eurmcmd list * state
val compile_stage3 : eurmcmd list -> state -> eurmcmd list * state
val compile_stage4 : eurmcmd list -> state -> urmcmd list * state
val urm_from_eurm : eurmcmd list -> urmcmd list
|