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

module sets.nat where

open import sets.nat.core public
open import sets.nat.properties public
open import sets.nat.ordering public
open import sets.nat.solver public
open import sets.nat.struct public