{-# 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