Make._
type valu = O.t
val eval_address : Env.address -> _.valu
exception Error
val same_value : _.valu -> _.valu -> bool