blob: 135afb1e2cab3fe2e685f213119b77c4766bb5f7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
open Names
open Cbytecodes
open Cemitcodes
open Term
open Declarations
open Environ
val compile : env -> constr -> bytecodes * bytecodes * fv
(* init, fun, fv *)
val compile_constant_body :
env -> constr_substituted option -> bool -> bool -> body_code
(* opaque *) (* boxed *)
|
