def pdb_slice

bend-prot@0.1.0.0 · pdb.bend:22

import Base

22# Fixed-column slice: 0-based start, length.
23def pdb_slice(s: String, start: Nat, len: Nat) -> String:
24  String.take(String.drop(s, start), len)