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