module another is

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

      def foo -> string := "foo"
    for
      self.tags.contains(foo)
    end
  end

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

  structure Foo is
    name → string
  end

end
