Vmsymtable
val val_of_constr : Environ.env -> Genlambda.evars -> Constr.constr -> Vmvalues.values
val vm_interp : Vmvalues.tcode -> Vmvalues.values -> Vmvalues.vm_env -> int -> Vmvalues.values