open Names
open Term
open Environ

val val_of_constr : env -> constr -> values