{-# OPTIONS --without-K  #-}
module sets.fin where

open import sets.fin.core public
open import sets.fin.properties public
open import sets.fin.ordering public
open import sets.fin.universe public