abstraction abstype and andalso as case do datatype else
end exception fn fun handle if in infix infixr let
local nonfix of op open orelse raise rec sig signature
struct structure then type val with withtype while
( ) [ ] { } , : :> ; ... _ | = => -> #