defmodule WalEx do
  @moduledoc """
  Documentation for `WalEx`.
  """
end