def at.rows_of

emerging-eztoml@0.9.0.0 · main.bend:6008

import Base

6008# the rows of a hit, when it is a table
6009def at.rows_of(hh: Hit) -> List<&2, Val>:
6010  match hh:
6011    case Found{val}:
6012      at.rows(val)
6013    case Miss{}:
6014      []