public DBRecord[] getTypeRecords() {
		Collection<DBRecord> c = bookmarkTypes.values();
		DBRecord[] recs = new DBRecord[c.size()];
		c.toArray(recs);
		return recs;
	}
Returns array of bookmark type records
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/database/bookmark/OldBookmarkManager.java