def span.quote.fin
import emerging-eztoml@0.9.0.0/main.bend as EmergingEztomlimport Base
5752# quotes around a plain span, or the escaping writer when a character needs it
5753def span.quote.fin(hit: Sq, src: String, +nn: U32) -> String:
5754 match hit:
5755 case SqNo{}:
5756 key.basic(span.str(src, nn, U32.is_zero(nn)))
5757 case SqOk{rev}:
5758 buf.str('"' <> rev)