structure Base =
   struct
      open 
	 BaseData
	 BaseString
   end