defmodule Diamondtail.Operators do
  defmodule Implication do
    @moduledoc """
    Implements logical implication, A ~> B is true if B is true or A is false
    """
    def a ~> b, do: !a || b
  end
end