module Foundation.Prelude where

open import Foundation.Prelude.Builtin public
open import Foundation.Prelude.Function public
open import Foundation.Prelude.Equality public
open import Foundation.Prelude.HLevel public
open import Foundation.Prelude.Misc public
