============================
Data Type, With Restrictions
============================

module corpus_test_datatype is

  datatype unixUserId <- string {
    minLength = 1
    maxLength = 8
  }

end

---

(module
  (identifier)
  (module_body
    (datatype_def
      (identifier)
      (datatype_base_type_reference
        (builtin_types))
      (datatype_type_restrictions
        (length_restriction_facet
          (unsigned))
        (length_restriction_facet
          (unsigned))))))
