Module BO__Polynomials.TopTraces

type t
val make_err_trace : t -> Absint.Errlog.loc_trace