dhall-1.37.0: dhall-lang/tests/normalization/success/unit/TextReplaceAbstractA.dhall
{- This test verifies that an implementation works with an abstract "replacement".
-}
λ(x : Text) → Text/replace "a" "-${x}-" "_a__a_"
{- This test verifies that an implementation works with an abstract "replacement".
-}
λ(x : Text) → Text/replace "a" "-${x}-" "_a__a_"