{-# OPTIONS --safe #-}

module Truth.LZero where

open import Prelude

open import Truth.Definition ℓzero
  public
  using ()
  renaming (Ω to Ω₀)

open import Truth.Combinators {ℓzero}
  public
  using ()
  renaming
    ( True to True₀
    ; False to False₀)