module NavGenerator