Lines Matching full:use_succ
339 external use_succ : lluse -> lluse option = "llvm_use_succ"348 aux (use_succ u)356 | Some u -> aux (f init u) (use_succ u)364 | Some u -> f u (aux (use_succ u) init)
