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