dhall-docs-1.0.1: tasty/data/package/RenderTypeIndexesExample.dhall
{-|
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
{-|
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