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