Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Reordering expression in according to priorities of its operators.
module type Expression = sig ... end
Signature to abstract expression being reordered.
module Make (E : Expression) : sig ... end
Functor to instantiate reorderer.