{-# OPTIONS --without-K #-}

module Spread.Baire where

open import Basis
open import Spread.Core ℕ public