Vmlambdatype lambda = lval Genlambda.lambdaval get_lval : lval -> Vmvalues.structured_valuesval lambda_of_constr : Environ.env -> Genlambda.evars -> Constr.t -> lambdaval dump_lambda_flag : CDebug.flagDump the VM lambda code after compilation (for debugging purposes)