def lc.tab.leaves

bend-osdev-cipher-core@0.1.0.0 · cipher_core.bend:245

import Base

245def lc.tab.leaves(xs: List<&2, U32>) -> List<&2, LcTab>:
246  match xs:
247    case Nil{}:
248      Nil{}
249    case Con{h, t}:
250      Con{LcLeaf{h}, lc.tab.leaves(t)}