This module computes precedences that satisfy a list of constraints. See Precedence.Constr for more details on constraints.
val empty : tval add_constr : int -> [ `partial ] Precedence.Constr.t -> t -> tAdd a precedence constraint with its priority. The lower the priority, the stronger influence the constraint will have.
val add_constrs : (int * [ `partial ] Precedence.Constr.t) list -> t -> ttype 'a parametrized = Statement.clause_t Iter.t -> 'aSome values are parametrized by the list of statements
val add_constr_rule :
int ->
[ `partial ] Precedence.Constr.t parametrized ->
t ->
tAdd a precedence constraint rule
val set_weight_rule : Precedence.weight_fun parametrized -> t -> tChoose the way weights are computed
val add_status : (ID.t * Precedence.symbol_status) list -> t -> tSpecify explicitly the status of some symbols
val mk_precedence : t -> Statement.clause_t Iter.t -> Precedence.tMake a precedence