infer.ml 9.74 KB