sig
  type t
  val link :
    Lattice_type.With_Under_Approximation.t ->
    Lattice_type.With_Under_Approximation.t ->
    Lattice_type.With_Under_Approximation.t
  val meet :
    Lattice_type.With_Under_Approximation.t ->
    Lattice_type.With_Under_Approximation.t ->
    Lattice_type.With_Under_Approximation.t
end