==========================
Structure, Map Type Member
==========================

module corpus_test_structure is

  structure Thing is
    properties -> {unique 1..} (string -> integer)
  end

end

---

    (module
      (identifier)
      (module_body
        (structure_def
          (identifier)
          (structure_body
            (member
              (member_def
                (identifier)
                (cardinality_expression
                  (sequence_uniqueness)
                  (unsigned)
                  (cardinality_range))
                (type_reference
                  (mapping_type
                    (type_reference
                      (builtin_types))
                    (type_reference
                      (builtin_types))))))))))
