summaryrefslogtreecommitdiffstats
path: root/bytecomp/codegen.mli
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