![]() In the simple cases, a Pin record consisting of exactly one field is equivalent in every way to this single field. In the more complex case however, it can be used as a record, making the code more robust such that it works with both bidirectional and unidirectional pins. |
||
---|---|---|
.. | ||
__init__.py | ||
dsl.py | ||
res.py |