open Names
open Cbytecodes
open Cemitcodes 
open Term
open Declarations
open Pre_env



val compile : env -> constr -> bytecodes * bytecodes * fv
                              (* init, fun, fv *)

val compile_constant_body : 
    env -> constr_substituted option -> bool -> bool -> body_code
                                 (* opaque *) (* boxed *)