Eval.Int
val unop : Ty.Unop.t -> Value.t -> Value.t
val binop : Ty.Binop.t -> Value.t -> Value.t -> Value.t
val relop : Ty.Relop.t -> Value.t -> Value.t -> bool
val cvtop : Ty.Cvtop.t -> Value.t -> Value.t