Module BO__Polynomials.UnreachableTraces

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