{-# OPTIONS --guardedness --safe #-}

module Cubical.Codata.M.AsLimit.Coalg where

open import Cubical.Codata.M.AsLimit.Coalg.Base public