blob: 97cb863e3764eedc2e567b0f4849315646b1c571 (
plain)
1
2
3
4
5
6
7
8
|
(* Generation of bytecode from lambda terms *)
open Lambda
open Instruct
val compile_implementation: lambda -> instruction list
val compile_phrase: lambda -> instruction list * instruction list
|