{-|
This example shows that `dhall-docs` will find render the correct type on the
index respecting variable indices
-}

let x : Bool = True
let x : Natural = 1

in x@1