module Prec:sig..end
type prec
val compare : prec -> Symb.symbol Order.cmpval empty : precval add_lt : prec -> Symb.symbol -> Symb.symbol -> precval add_eq : prec -> Symb.symbol -> Symb.symbol -> precval add_gt : prec -> Symb.symbol -> Symb.symbol -> precval prec_of_list : Symb.symbol list -> precf1; ..; fn gives f1 < .. < fn