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