Module type Lattice_type.With_Under_Approximation

type t

under-approximation of union

val meet : t -> t -> t

under-approximation of intersection