{-# OPTIONS --without-K #-}

module Agda.Builtin.Coinduction where

infix 1000 ♯_

{-# BUILTIN INFINITY ∞  #-}
{-# BUILTIN SHARP    ♯_ #-}
{-# BUILTIN FLAT     ♭  #-}