bottom

fun <A> bottom(): FreeDistributiveLattice<A>