Up
–
infer
»
BO
»
Polynomials
» TopTraces
Module
Polynomials.TopTraces
type
t
val
make_err_trace :
t
->
Absint.Errlog.loc_trace