[ocaml] implement FDR mutex