../../Task/Logical-operations/OCaml