sig type t val diff : Eva_lattice_type.With_Diff.t -> Eva_lattice_type.With_Diff.t -> Eva_lattice_type.With_Diff.t Lattice_bounds.or_bottom end