1
------------------------------------------------------------------------
3
------------------------------------------------------------------------
5
module Common.Size where
12
{-# BUILTIN SIZE Size #-}
13
{-# BUILTIN SIZESUC ↑_ #-}
14
{-# BUILTIN SIZEINF ∞ #-}