Module Rule.OrdRul


module OrdRul: ORD_PRT  with type t = rule