^{numEntriesWidget}

<table .tableview ##{tableId}>
    $maybe header <- mHeader
        <thead>
            <tr>
                ^{header}
    <tbody>
        ^{entryRows}

<p .tableview-nav>
    $maybe r <- firstRoute
        <a href=@{r}><<
    $nothing
        <span><<

    $maybe r <- backRoute
        <a href=@{r}><
    $nothing
        <span><

    $maybe r <- forwardRoute
        <a href=@{r}>>
    $nothing
        <span>>

    $maybe r <- lastRoute
        <a href=@{r}>>>
    $nothing
        <span>>>