def wf.fresh

emerging-eztoml@0.9.0.0 · main.bend:6269

import Base

6269# a name no later pair of the table has
6270def wf.fresh(hit: Hit) -> Bool:
6271  match hit:
6272    case Found{_v}:
6273      False{}
6274    case Miss{}:
6275      True{}