{-# OPTIONS --guardedness --safe #-} module Cubical.Codata.M.AsLimit.Coalg where open import Cubical.Codata.M.AsLimit.Coalg.Base public