algebra.lattice
Access an implicit Logic[A].
Logic[A]
Turn a Heyting into a Logic.
Logic
Turn a Heyting into a Logic. Used for binary compatibility.