def reopen_dashes_len

import mylsm-lsm-store@0.3.2.0/src/Db.bend as Db

import Base

388def reopen_dashes_len(+str: String) -> Nat:
389  reopen_dash_go(Nat.add(String.length(str), 1n), (False{}, 0n), str)

Uses (7)