module type With_Under_Approximation = sig .. end
sig
end
type t
val link : t -> t -> t
t -> t -> t
under-approximation of union
val meet : t -> t -> t Bottom.Type.or_bottom
t -> t -> t Bottom.Type.or_bottom
under-approximation of intersection