Appendix A
Precedence Table

This is the default set of precedences when you launch GimML:

infix   0 before  
infix   3 o :=  
infix   4 = <> < > <= >= #< #> #<= #>= inset inmap submap subset strless  
infixr  5 @ O  
infixr  5 ::  
infix   6 + - ^ #+ #- ++ U <| <-| |> |->  
infix   7 ⋆ div mod divmod #⋆ #/ fdiv fmod fdivmod & \ delta intersects  
infixr  8 #^  
infix   9 nth to sub

Note that @ is declared infixr, that is, right-associative, although the Definition of Standard ML dictates that it is infix, i.e. left-associative. This should not make much differences.