Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://agda.github.io/agda-stdlib/master/Agda.Builtin.Size.html below:

Agda.Builtin.Size

{-# OPTIONS --cubical-compatible --no-universe-polymorphism --sized-types
            --no-guardedness --level-universe #-}

module Agda.Builtin.Size where

{-# BUILTIN SIZEUNIV SizeUniv #-}
{-# BUILTIN SIZE     Size     #-}
{-# BUILTIN SIZELT   Size<_   #-}
{-# BUILTIN SIZESUC  ↑_       #-}
{-# BUILTIN SIZEINF  ∞        #-}
{-# BUILTIN SIZEMAX  _⊔ˢ_     #-}

{-# FOREIGN GHC
  type SizeLT i = ()
  #-}

{-# COMPILE GHC Size   = type ()     #-}
{-# COMPILE GHC Size<_ = type SizeLT #-}
{-# COMPILE GHC ↑_     = \_ -> ()    #-}
{-# COMPILE GHC ∞      = ()          #-}
{-# COMPILE GHC _⊔ˢ_   = \_ _ -> ()  #-}

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4