module example is

  datatype nameString <- string

end