Martin Escardo 2024.

Interface file. Please use this rather than the 2012 file imported below.

\begin{code}

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

module CoNaturals.Type where

open import CoNaturals.GenericConvergentSequence public

\end{code}