def METHOD_NAME(constant):
    assert constant.const()
    if isinstance(constant, Digital):
        return int(constant)
    if isinstance(constant, Array):
        values = [METHOD_NAME(c) for c in constant]
        return BitVector[len(constant)](values)
    raise NotImplementedError(constant)