DouKaku?

let rec make_ladder = function
| [] -> print_newline (); []
| [x] -> print_endline "| "; [x]
| x::y::xs when x < y -> print_string "|_| "; (y::x::make_ladder xs)
| x::y::xs -> print_string "| "; (x::make_ladder (y::xs))

let rec amida l =
  let rec complete = function
  | [x] -> true
  | x::y::xs -> x > y && complete (y::xs)
  in
  if (complete l) then make_ladder l
  else (amida (make_ladder l))
;;