Module type Synext.BASE_PRECEDENCE

type precedence
module Ord : Support.Ord.ORD with type t = precedence