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