def tpl_atoms_only
import bend-prot@0.1.0.0/tpl.bend as Tplimport Base
103def tpl_atoms_only(p: List<&2, TplAtom> & Nat) -> List<&2, TplAtom>:
104 match p:
105 case (xs, n):
106 xs
Uses (5)
Used by (0)
No other definition uses this definition.