projects / nmigen.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
lib.coding: add width as attribute to all coders.
[nmigen.git] / nmigen / formal.py
1 from .hdl.ast import AnyConst, AnySeq, Assert, Assume