sig
val
compile :
Var
.t list
->
S
.
Ast
.t
->
Code
.code
end