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.