def __init__(self, high=None, low=None, padding_bit=0): if not high: high = Value() if not low: low = Value() self.high = WideValue() self.padding_bit = padding_bit self.low = Value()
def Int(n): return Value(('INT', n))