Abstracting Abstract Control Implementation in OCaml