def reopen_semi

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

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

398def reopen_semi(+ch: Char, +num: Nat) -> Maybe<&2, Nat>:
399  reopen_semi_is(Char.is_eq(ch, Char.from_u32(59)), num)

Uses (6)

Used by (1)