{-# OPTIONS --safe --guardedness #-}
module Cubical.Codata.Conat where

open import Cubical.Codata.Conat.Base public
open import Cubical.Codata.Conat.Properties public