Module Vmsymtable
val val_of_constr : Environ.env -> (Constr.existential -> Constr.constr option) -> Constr.constr -> Vmvalues.valuesval vm_interp : Vmvalues.tcode -> Vmvalues.values -> Vmvalues.vm_env -> int -> Vmvalues.values
Vmsymtableval val_of_constr : Environ.env -> (Constr.existential -> Constr.constr option) -> Constr.constr -> Vmvalues.valuesval vm_interp : Vmvalues.tcode -> Vmvalues.values -> Vmvalues.vm_env -> int -> Vmvalues.values