top

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