Implementation of Dancing Link algorithm with OCAML