Decouple a bunch of stuff into Config and Template

1 files changed, 3 insertions, 5 deletions

diff --git a/menu.urs b/menu.urs
index 0372aab..59f02f1 100644
--- a/menu.urs
+++ b/menu.urs
@@ -16,8 +16,6 @@ details.
 You should have received a copy of the GNU Affero General Public License along
 with 6.947.  If not, see <http://www.gnu.org/licenses/>. *)
 
-(* The menu scheme in this app is based on a variant 'pageName', which
-describes the name of the page.  There's one value for each page. *)
-con pageName = variant (mapU unit [Main, Forum])
-
-val header : pageName -> xbody
+(* Given the name of the page we're currently on, produces a header and menu
+for the site. *)
+val header : Config.pageName -> xbody