caesar.ml

type msg = int list

type key = int

let string_of_msg msg =
  msg |> List.map (fun x -> string_of_int x) |> String.concat ""

let rot key msg =
  msg |> List.map begin fun x ->
    (x + key) mod 26
  end

let () =
  let msg = [1; 2; 3; 14; 13; 12] in 
  assert (
    let x = rot 3 msg in 
    msg = rot (-3) x);
  rot 3 msg |> string_of_msg |> print_endline