/test-package/OrdinaryAnnotation.dhall
Copy path to clipboardThis file contains a Dhall expression with just a type annotation, which should be selected as the expression's type
Source
{-|
This file contains a Dhall expression with just a type annotation, which
should be selected as the expression's type
-}
1 : Natural