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