Genprintval.EVALPATH
type valu
val eval_address : Env.address -> valu
exception Error
val same_value : valu -> valu -> bool