16f90d3585
The nMigen formal language is about to get *much* larger and will keep growing faster than the rest of nMigen language, so it makes good sense to extract it. Further, this makes it easier to qualify formal keywords like `formal.AnyConst()` without directly importing hdl.ast.
2 lines
54 B
Python
2 lines
54 B
Python
from .hdl.ast import AnyConst, AnySeq, Assert, Assume
|