Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Signature to abstract expression being reordered.
Discovers the kind of expression: either infix with priority and two arguments or other kind of expression.
replace expr x y
replaces arguments of infix expression expr
with x
and y