Total Order - Zistack/program-modeling-language GitHub Wiki
total order <identifier> (<variable identifier>)
The total ordering statement is a statement that establishes a linear ordering over a variable. The records that encode this relation refer to the the source nodes as 'before' a the destination nodes as 'after'. In spite of the name, edges are only present between adjacent nodes (though I may add an aspect which is truer to the name later).