module another is

  assert just_testing with

    def has_pref_label (anns -> {0..} Annotation) -> boolean :=
      ∃ a ∈ anns, name(a) = skos:prefLabel ∧ ¬ empty(value(a))

    def foo -> string := "foo"

  is

    self.tags.contains(foo)
  end

  datatype myByte ← integer {
  minInclusive = 0
  maxInclusive = 256
  }

  structure Foo is
    name → string
  end

end
