Module Equation.OrdEqn


module OrdEqn: ORD_PRT  with type t = eqn