| commit | 5dbce6bf8848d5e2f46362a7832e0f9b70eeffb5 | [log] [tgz] |
|---|---|---|
| author | Krzysztof Jurewicz <krzysztof.jurewicz@gmail.com> | Mon Jan 15 21:47:04 2018 +0100 |
| committer | Krzysztof Jurewicz <krzysztof.jurewicz@gmail.com> | Mon Jan 15 21:47:04 2018 +0100 |
| tree | 2dba4599914233768655261d3eb7cac33e842791 | |
| parent | 3c9cdc9bb2903a2a11092f442b25de37fafe81c6 [diff] |
Fix type definition of triq_dom:domrec/1