prettyVal :: FileModule -> ValBindBase Info VName -> Maybe (DocM Html)
prettyVal fm (ValBind _entry name maybe_t _ _e doc _)
  | Just (BoundV st) <- M.lookup name vtable
  , visible Term name fm =
    Just . return . H.div $
    renderDoc doc <> "let " <> vnameHtml name <> " : " <>
    maybe (prettyType st) typeExpHtml maybe_t
    where (FileModule Env {envVtable = vtable} _) = fm
prettyVal :: FileModule -> ValBindBase Info VName -> Maybe (DocM Html)
prettyVal fm (ValBind _entry name maybe_t _ _e doc _)
  | Just (BoundV st) <- M.lookup name vtable
  , visible Term name fm =
    Just . return . H.div $
    renderDoc doc <> "let " <> vnameHtml name <> " : " <>
    maybe (prettyType st) typeExpHtml maybe_t
    where (FileModule Env {envVtable = vtable} _) = fm
prettyVal fm (ValBind _entry name maybe_t _ _e doc _)
  | Just (BoundV st) <- M.lookup name vtable
  , visible Term name fm =
    Just . return . H.div $
    renderDoc doc <> "let " <> vnameHtml name <> " : " <>
    maybe (prettyType st) typeExpHtml maybe_t
    where (FileModule Env {envVtable = vtable} _) = fm