def elem_no_1

bend-prot@0.1.0.0 · pdb.bend:208

import bend-prot@0.1.0.0/pdb.bend as Pdb

import Base

208def elem_no_1(h: Char, t: String) -> U32:
209  match t:
210    case SNil{}:
211      elem_1(h)
212    case SCon{h2, t2}:
213      elem_2(h, h2)

Uses (5)

Used by (1)

bend-prot@0.1.0.0/pdb:elem_no