Logic.Variable

Variables or logic variables.

type alias Variable =

{ name : String

, id : Id

}

Variables are uniquely identified by their name and id.

N.B. The empty string name is reserved for use internally.

type alias Id =

Int

Any integral value can serve as an identifier.

Debug

toString : Variable -> String

Convert to a representation that's useful for debugging and testing.

toString (Variable "x" 3) == "x.3"