Source file util.ml

1
2
3
4
type 't info = {
  is_tainted : bool;
  cost : 't
}