{-# OPTIONS --without-K #-} module Agda.Builtin.Coinduction where infix 1000 ♯_ {-# BUILTIN INFINITY ∞ #-} {-# BUILTIN SHARP ♯_ #-} {-# BUILTIN FLAT ♭ #-}