{-# OPTIONS --safe #-} module Cubical.Algebra.DistLattice where open import Cubical.Algebra.DistLattice.Base public open import Cubical.Algebra.DistLattice.Properties public