/test-package/TwoAnnotations.dhall
Copy path to clipboardThis expression contains type annotations on both the let
binding and on the
body of the let
expression. The documentation generator prefers to use the
latter annotation.
Source
{-|
This expression contains type annotations on both the `let` binding and on the
body of the `let` expression. The documentation generator prefers to use the
latter annotation.
-}
let x = 1
let y = Natural
in x : y