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