Up
Next
Module
Rule.OrdRul
module
OrdRul:
ORD_PRT
with type t = rule