Module Lattices.Assert_False

val pretty : 'a -> 'b -> 'c
val join : 'a -> 'b -> 'c
val is_top : 'a -> 'b
val is_bottom : 'a -> 'b
val widen : previous:'a -> 'b -> 'c
val includes : 'a -> 'b -> 'c
val hash : 'a -> 'b
val compare : 'a -> 'b -> 'c
val equal : 'a -> 'b -> 'c
val includes_or_widen : previous:'a -> 'b -> 'c