~/jendhub

def collect_finish

bend-prot@0.1.0.0 · pdb.bend:345

import bend-prot@0.1.0.0/pdb.bend as Pdb
import Base
import bend-prot@0.1.0.0/protein.bend as P

345def collect_finish(st: List<&1, U32 & Nat & P.Atom> & Nat) -> List<&1, U32 & Nat & P.Atom> & Nat:
346  match st:
347    case (as, n):
348      (List.reverse(&1, U32 & Nat & P.Atom, as), n)

Uses (7)

Used by (1)