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

module Agda.Builtin.Coinduction where

infix 1000 ♯_

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