Fixpoint3.Ast.Ram.RowVar

enum RowVar with EqSource

case Named(Int32)

Named(id) represents the unique identifier, id, of some row variable

For a program: search e1 ∈ Edge do search e2 ∈ Edge do ... e1 and e2 would be the identifiers. Identifiers will only be defined once in a program, but can be reffered to from elsewhere.

Instances

instance Eq[RowVar]Source

instance Order[RowVar]Source

instance ToString[RowVar]Source