sig
  type prec
  val compare : Prec.prec -> Symb.symbol Order.cmp
  val empty : Prec.prec
  val add_lt : Prec.prec -> Symb.symbol -> Symb.symbol -> Prec.prec
  val add_eq : Prec.prec -> Symb.symbol -> Symb.symbol -> Prec.prec
  val add_gt : Prec.prec -> Symb.symbol -> Symb.symbol -> Prec.prec
  val prec_of_list : Symb.symbol list -> Prec.prec
end