/Prelude-v23.0.0/XML/emptyAttributes.dhall

Copy path to clipboard

Create an empty XML attribute List.

Source

--| Create an empty XML attribute List.
[] : List { mapKey : Text, mapValue : Text }