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