elixirst

defmodule Examples.SmallExample do
  use ElixirST
  @moduledoc false

  def kk do
    :ok
  end


  @session "server = ?Hello(boolean).!hi()"
  @spec server({pid}) :: atom
  def server({pid_varrr}) do

    receive do
      {:Hello, n} -> f(pid_varrr)
    end
  end

  @spec f(pid) :: atom
  defp f(pid_va) do

    case true do
      true -> :ok
      # 2 -> :ok
    end


    if true do
      d = 4 + 2
      d = 4 + 2
      # s = 4 + true
      d = 4 + 2
      d = 4 + 2
      d = 4 + 2

    else
      2
    end
    :ok

    send(pid_va, {:hi})

    :ok
  end

  @dual "server"
  @spec client(pid, {number()}) :: atom
  def client(pid_44, {num}) do
    if true do
      n = 3
      send(pid_44, {:Hello, false})
    else
      d = 4 + 2
      d = 4 + 2
      d = 4 + 2
      d = 4 + 2
      d = 4 + 2
      send(pid_44, {:Hello, true})
    end

    receive do
      {:hi} ->
        :ok
    end

  end
end

# explicitly: `mix sessions Examples.SmallExample`