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