Home | History | Annotate | Download | only in OCaml

Lines Matching full:instr_pred

870     insist (After i1 = instr_pred i2);
871 insist (At_start bb = instr_pred i1);