def root.text
ezx@1.11.0.0 · src/ws/up.bend:139
import ezx@1.11.0.0/src/ws/up.bend as Up
import Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M
import ezx@1.11.0.0/src/ledger/render.bend as Rend
import ezx@1.11.0.0/src/toml/toml.bend as T
import ezx@1.11.0.0/src/ws/workspace.bend as W
139
140
141def root.text(+mm: M.Manifest, +spec: W.Spec, +root: W.Root) -> String:
142 +body = Rend.text(mm)
143 T.normal(Bool.pick(String, W.root.member(root), body, String.drop(body, 10n)) ++ spec.text(spec))