==========================
Annotation, Single Mapping
==========================

module corpus_test_annotation is

  @dc:published = "date" -> xsd:date("2023-08-04")

end

---

(module
  name: (identifier)
  body: (module_body
    (annotation
      (annotation_property
        name: (identifier_reference
        (qualified_identifier
          module: (identifier)
          member: (identifier)))
          value: (value
            (mapping_value
              domain: (simple_value
                (string
                  (quoted_string)))
              range: (value
                (value_constructor
                  name: (identifier_reference
                    (qualified_identifier
                      module: (identifier)
                      member: (identifier)))
                  value: (simple_value
                    (string
                      (quoted_string)))))))))))
