Module Prec


module Prec: sig .. end

Precedence definitions



type prec 
val compare : prec -> Symb.symbol Order.cmp
val empty : prec
val add_lt : prec -> Symb.symbol -> Symb.symbol -> prec
Add a new constraint. raise Failure if it is not compatible
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