def elem_no
import bend-prot@0.1.0.0/pdb.bend as Pdbimport Base
215def elem_no(s: String) -> U32:
216 match s:
217 case SNil{}:
218 0
219 case SCon{h, t}:
220 elem_no_1(h, t)
import bend-prot@0.1.0.0/pdb.bend as Pdbimport Base
215def elem_no(s: String) -> U32:
216 match s:
217 case SNil{}:
218 0
219 case SCon{h, t}:
220 elem_no_1(h, t)