def reopen_clip

mylsm-lsm-store@0.3.2.0 · src/Db.bend:415

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

415def reopen_clip(+mlen: Maybe<&2, Nat>, +str: String) -> String:
416  match mlen:
417    case None{}:
418      str
419    case Some{n}:
420      String.take(String.drop(str, Nat.add(String.length(Wal.dashes(n)), 1n)), n)

Uses (8)

Used by (1)