package ostap

  1. Overview
  2. Docs

Module PrioReorderer.MakeSource

Functor to instantiate reorderer.

Parameters

module E : Expression

Signature

Sourceval sort : E.t -> E.t

Reordering function.