Expand description
“Var”-style syntax for building Open Hypergraphs.
Structs§
Traits§
- HasAdd
- Vars can be added when the underlying signature has an operation for ‘addition’.
- HasBit
And - Vars support this operator when the underlying signature has the appropriate operation.
- HasBit
Or - Vars support this operator when the underlying signature has the appropriate operation.
- HasBit
Xor - Vars can be added when the underlying signature has an operation for ‘addition’.
- HasVar