Module Lattices.Assert_False
val pretty : 'a -> 'b -> 'c
val join : 'a -> 'b -> 'c
val widen : previous:'a -> 'b -> 'c
val includes : 'a -> 'b -> 'c
val compare : 'a -> 'b -> 'c
val equal : 'a -> 'b -> 'c
val includes_or_widen : previous:'a -> 'b -> 'c