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