from .hdl.ast import AnyConst, AnySeq, Assert, Assume