Collaboration diagram for hobbes::ConsRecord:
Public Attributes | |
| bool | forward |
| bool | asTuple |
| MonoTypePtr | recordType |
| MonoTypePtr | headFieldName |
| MonoTypePtr | headType |
| MonoTypePtr | tailType |
Member Data Documentation
◆ asTuple
| bool hobbes::ConsRecord::asTuple |
◆ forward
| bool hobbes::ConsRecord::forward |
◆ headFieldName
| MonoTypePtr hobbes::ConsRecord::headFieldName |
◆ headType
| MonoTypePtr hobbes::ConsRecord::headType |
◆ recordType
| MonoTypePtr hobbes::ConsRecord::recordType |
◆ tailType
| MonoTypePtr hobbes::ConsRecord::tailType |
The documentation for this struct was generated from the following file:
- lib/hobbes/lang/preds/consrecord.C
