import type { AppContext } from "../api" ; import { CONTACT , HOME , USER_LIST } from "../routes" ; import { routeLink } from "./route-link" ; param ctx export function nav ( ctx ) { const ui = ctx . ui . nav ; return [ "nav" , [ "h1" , ui . title , "Demo app" ] , [ "div" , ui . inner , [ routeLink , HOME . id , null , ui . link , "Home" ] , [ routeLink , USER_LIST . id , null , ui . link , "Users" ] , [ routeLink , CONTACT . id , null , ui . linkLast , "Contact" ] , ] , ] ; }