~/jendhub

def sym.fresh

bend-kit-regex@0.8.0.0 · regex.bend:1642

import bend-kit-regex@0.8.0.0/regex.bend as Regex
import Base

1642def sym.fresh(xs: List<&2, Op>) -> Bool:
1643  match xs:
1644    case Nil{}:
1645      True{}
1646    case Con{Op{+src, pc, saves}, t}:
1647      U32.is_eq(src, seed.id()) && sym.fresh(t)

Uses (6)

Used by (1)