path: root/lib/dialyzer/test/small_SUITE_data/src/comparisons.erl

-module(comparisons).

-compile(export_all).

-define(r, get(r)).

integer() -> integer(?r).
integer(X) when is_integer(X) -> X.

mfloat() -> float(?r).
mfloat(X) when is_float(X) -> X.

atom() -> atom(?r).
atom(X) when is_atom(X) -> X.

tuple() -> tuple(?r).
tuple(X) when is_tuple(X) -> X.

list() -> list(?r).
list(X) when is_list(X) -> X.

map() -> map(?r).
map(X) when is_map(X) -> #{}.

bitstring() -> bitstring(?r).
bitstring(X) when is_bitstring(X) -> <<0:63>>.

i() -> integer().
f() -> mfloat().
n() -> case ?r of 1 -> i(); 2 -> f() end.
a() -> atom().
t() -> tuple().
l() -> list().
m() -> map().
b() -> bitstring().
na() -> case ?r of 1 -> n(); 2 -> a() end.
at() -> case ?r of 1 -> t(); 2 -> a() end.
tl() -> case ?r of 1 -> t(); 2 -> l() end.

test_i_ll_i() -> case i()  < i() of true -> maybe; false -> maybe_too end.
test_i_le_i() -> case i() =< i() of true -> maybe; false -> maybe_too end.
test_i_gg_i() -> case i()  > i() of true -> maybe; false -> maybe_too end.
test_i_ge_i() -> case i() >= i() of true -> maybe; false -> maybe_too end.
test_i_ll_f() -> case i()  < f() of true -> maybe; false -> maybe_too end.
test_i_le_f() -> case i() =< f() of true -> maybe; false -> maybe_too end.
test_i_gg_f() -> case i()  > f() of true -> maybe; false -> maybe_too end.
test_i_ge_f() -> case i() >= f() of true -> maybe; false -> maybe_too end.
test_i_ll_n() -> case i()  < n() of true -> maybe; false -> maybe_too end.
test_i_le_n() -> case i() =< n() of true -> maybe; false -> maybe_too end.
test_i_gg_n() -> case i()  > n() of true -> maybe; false -> maybe_too end.
test_i_ge_n() -> case i() >= n() of true -> maybe; false -> maybe_too end.
test_i_ll_a() -> case i()  < a() of true -> always; false -> never end.
test_i_le_a() -> case i() =< a() of true -> always; false -> never end.
test_i_gg_a() -> case i()  > a() of true -> never; false -> always end.
test_i_ge_a() -> case i() >= a() of true -> never; false -> always end.
test_i_ll_t() -> case i()  < t() of true -> always; false -> never end.
test_i_le_t() -> case i() =< t() of true -> always; false -> never end.
test_i_gg_t() -> case i()  > t() of true -> never; false -> always end.
test_i_ge_t() -> case i() >= t() of true -> never; false -> always end.
test_i_ll_l() -> case i()  < l() of true -> always; false -> never end.
test_i_le_l() -> case i() =< l() of true -> always; false -> never end.
test_i_gg_l() -> case i()  > l() of true -> never; false -> always end.
test_i_ge_l() -> case i() >= l() of true -> never; false -> always end.
test_i_ll_m() -> case i()  < m() of true -> always; false -> never end.
test_i_le_m() -> case i() =< m() of true -> always; false -> never end.
test_i_gg_m() -> case i()  > m() of true -> never; false -> always end.
test_i_ge_m() -> case i() >= m() of true -> never; false -> always end.
test_i_ll_b() -> case i()  < b() of true -> always; false -> never end.
test_i_le_b() -> case i() =< b() of true -> always; false -> never end.
test_i_gg_b() -> case i()  > b() of true -> never; false -> always end.
test_i_ge_b() -> case i() >= b() of true -> never; false -> always end.

test_f_ll_i() -> case f()  < i() of true -> maybe; false -> maybe_too end.
test_f_le_i() -> case f() =< i() of true -> maybe; false -> maybe_too end.
test_f_gg_i() -> case f()  > i() of true -> maybe; false -> maybe_too end.
test_f_ge_i() -> case f() >= i() of true -> maybe; false -> maybe_too end.
test_f_ll_f() -> case f()  < f() of true -> maybe; false -> maybe_too end.
test_f_le_f() -> case f() =< f() of true -> maybe; false -> maybe_too end.
test_f_gg_f() -> case f()  > f() of true -> maybe; false -> maybe_too end.
test_f_ge_f() -> case f() >= f() of true -> maybe; false -> maybe_too end.
test_f_ll_n() -> case f()  < n() of true -> maybe; false -> maybe_too end.
test_f_le_n() -> case f() =< n() of true -> maybe; false -> maybe_too end.
test_f_gg_n() -> case f()  > n() of true -> maybe; false -> maybe_too end.
test_f_ge_n() -> case f() >= n() of true -> maybe; false -> maybe_too end.
test_f_ll_a() -> case f()  < a() of true -> always; false -> never end.
test_f_le_a() -> case f() =< a() of true -> always; false -> never end.
test_f_gg_a() -> case f()  > a() of true -> never; false -> always end.
test_f_ge_a() -> case f() >= a() of true -> never; false -> always end.
test_f_ll_t() -> case f()  < t() of true -> always; false -> never end.
test_f_le_t() -> case f() =< t() of true -> always; false -> never end.
test_f_gg_t() -> case f()  > t() of true -> never; false -> always end.
test_f_ge_t() -> case f() >= t() of true -> never; false -> always end.
test_f_ll_l() -> case f()  < l() of true -> always; false -> never end.
test_f_le_l() -> case f() =< l() of true -> always; false -> never end.
test_f_gg_l() -> case f()  > l() of true -> never; false -> always end.
test_f_ge_l() -> case f() >= l() of true -> never; false -> always end.
test_f_ll_m() -> case f()  < m() of true -> always; false -> never end.
test_f_le_m() -> case f() =< m() of true -> always; false -> never end.
test_f_gg_m() -> case f()  > m() of true -> never; false -> always end.
test_f_ge_m() -> case f() >= m() of true -> never; false -> always end.
test_f_ll_b() -> case f()  < b() of true -> always; false -> never end.
test_f_le_b() -> case f() =< b() of true -> always; false -> never end.
test_f_gg_b() -> case f()  > b() of true -> never; false -> always end.
test_f_ge_b() -> case f() >= b() of true -> never; false -> always end.

test_n_ll_i() -> case n()  < i() of true -> maybe; false -> maybe_too end.
test_n_le_i() -> case n() =< i() of true -> maybe; false -> maybe_too end.
test_n_gg_i() -> case n()  > i() of true -> maybe; false -> maybe_too end.
test_n_ge_i() -> case n() >= i() of true -> maybe; false -> maybe_too end.
test_n_ll_f() -> case n()  < f() of true -> maybe; false -> maybe_too end.
test_n_le_f() -> case n() =< f() of true -> maybe; false -> maybe_too end.
test_n_gg_f() -> case n()  > f() of true -> maybe; false -> maybe_too end.
test_n_ge_f() -> case n() >= f() of true -> maybe; false -> maybe_too end.
test_n_ll_n() -> case n()  < n() of true -> maybe; false -> maybe_too end.
test_n_le_n() -> case n() =< n() of true -> maybe; false -> maybe_too end.
test_n_gg_n() -> case n()  > n() of true -> maybe; false -> maybe_too end.
test_n_ge_n() -> case n() >= n() of true -> maybe; false -> maybe_too end.
test_n_ll_a() -> case n()  < a() of true -> always; false -> never end.
test_n_le_a() -> case n() =< a() of true -> always; false -> never end.
test_n_gg_a() -> case n()  > a() of true -> never; false -> always end.
test_n_ge_a() -> case n() >= a() of true -> never; false -> always end.
test_n_ll_t() -> case n()  < t() of true -> always; false -> never end.
test_n_le_t() -> case n() =< t() of true -> always; false -> never end.
test_n_gg_t() -> case n()  > t() of true -> never; false -> always end.
test_n_ge_t() -> case n() >= t() of true -> never; false -> always end.
test_n_ll_l() -> case n()  < l() of true -> always; false -> never end.
test_n_le_l() -> case n() =< l() of true -> always; false -> never end.
test_n_gg_l() -> case n()  > l() of true -> never; false -> always end.
test_n_ge_l() -> case n() >= l() of true -> never; false -> always end.
test_n_ll_m() -> case n()  < m() of true -> always; false -> never end.
test_n_le_m() -> case n() =< m() of true -> always; false -> never end.
test_n_gg_m() -> case n()  > m() of true -> never; false -> always end.
test_n_ge_m() -> case n() >= m() of true -> never; false -> always end.
test_n_ll_b() -> case n()  < b() of true -> always; false -> never end.
test_n_le_b() -> case n() =< b() of true -> always; false -> never end.
test_n_gg_b() -> case n()  > b() of true -> never; false -> always end.
test_n_ge_b() -> case n() >= b() of true -> never; false -> always end.

test_a_ll_i() -> case a()  < i() of true -> never; false -> always end.
test_a_le_i() -> case a() =< i() of true -> never; false -> always end.
test_a_gg_i() -> case a()  > i() of true -> always; false -> never end.
test_a_ge_i() -> case a() >= i() of true -> always; false -> never end.
test_a_ll_f() -> case a()  < f() of true -> never; false -> always end.
test_a_le_f() -> case a() =< f() of true -> never; false -> always end.
test_a_gg_f() -> case a()  > f() of true -> always; false -> never end.
test_a_ge_f() -> case a() >= f() of true -> always; false -> never end.
test_a_ll_n() -> case a()  < n() of true -> never; false -> always end.
test_a_le_n() -> case a() =< n() of true -> never; false -> always end.
test_a_gg_n() -> case a()  > n() of true -> always; false -> never end.
test_a_ge_n() -> case a() >= n() of true -> always; false -> never end.
test_a_ll_a() -> case a()  < a() of true -> maybe; false -> maybe_too end.
test_a_le_a() -> case a() =< a() of true -> maybe; false -> maybe_too end.
test_a_gg_a() -> case a()  > a() of true -> maybe; false -> maybe_too end.
test_a_ge_a() -> case a() >= a() of true -> maybe; false -> maybe_too end.
test_a_ll_t() -> case a()  < t() of true -> always; false -> never end.
test_a_le_t() -> case a() =< t() of true -> always; false -> never end.
test_a_gg_t() -> case a()  > t() of true -> never; false -> always end.
test_a_ge_t() -> case a() >= t() of true -> never; false -> always end.
test_a_ll_l() -> case a()  < l() of true -> always; false -> never end.
test_a_le_l() -> case a() =< l() of true -> always; false -> never end.
test_a_gg_l() -> case a()  > l() of true -> never; false -> always end.
test_a_ge_l() -> case a() >= l() of true -> never; false -> always end.
test_a_ll_m() -> case a()  < m() of true -> always; false -> never end.
test_a_le_m() -> case a() =< m() of true -> always; false -> never end.
test_a_gg_m() -> case a()  > m() of true -> never; false -> always end.
test_a_ge_m() -> case a() >= m() of true -> never; false -> always end.
test_a_ll_b() -> case a()  < b() of true -> always; false -> never end.
test_a_le_b() -> case a() =< b() of true -> always; false -> never end.
test_a_gg_b() -> case a()  > b() of true -> never; false -> always end.
test_a_ge_b() -> case a() >= b() of true -> never; false -> always end.

test_t_ll_i() -> case t()  < i() of true -> never; false -> always end.
test_t_le_i() -> case t() =< i() of true -> never; false -> always end.
test_t_gg_i() -> case t()  > i() of true -> always; false -> never end.
test_t_ge_i() -> case t() >= i() of true -> always; false -> never end.
test_t_ll_f() -> case t()  < f() of true -> never; false -> always end.
test_t_le_f() -> case t() =< f() of true -> never; false -> always end.
test_t_gg_f() -> case t()  > f() of true -> always; false -> never end.
test_t_ge_f() -> case t() >= f() of true -> always; false -> never end.
test_t_ll_n() -> case t()  < n() of true -> never; false -> always end.
test_t_le_n() -> case t() =< n() of true -> never; false -> always end.
test_t_gg_n() -> case t()  > n() of true -> always; false -> never end.
test_t_ge_n() -> case t() >= n() of true -> always; false -> never end.
test_t_ll_a() -> case t()  < a() of true -> never; false -> always end.
test_t_le_a() -> case t() =< a() of true -> never; false -> always end.
test_t_gg_a() -> case t()  > a() of true -> always; false -> never end.
test_t_ge_a() -> case t() >= a() of true -> always; false -> never end.
test_t_ll_t() -> case t()  < t() of true -> maybe; false -> maybe_too end.
test_t_le_t() -> case t() =< t() of true -> maybe; false -> maybe_too end.
test_t_gg_t() -> case t()  > t() of true -> maybe; false -> maybe_too end.
test_t_ge_t() -> case t() >= t() of true -> maybe; false -> maybe_too end.
test_t_ll_l() -> case t()  < l() of true -> always; false -> never end.
test_t_le_l() -> case t() =< l() of true -> always; false -> never end.
test_t_gg_l() -> case t()  > l() of true -> never; false -> always end.
test_t_ge_l() -> case t() >= l() of true -> never; false -> always end.
test_t_ll_m() -> case t()  < m() of true -> always; false -> never end.
test_t_le_m() -> case t() =< m() of true -> always; false -> never end.
test_t_gg_m() -> case t()  > m() of true -> never; false -> always end.
test_t_ge_m() -> case t() >= m() of true -> never; false -> always end.
test_t_ll_b() -> case t()  < b() of true -> always; false -> never end.
test_t_le_b() -> case t() =< b() of true -> always; false -> never end.
test_t_gg_b() -> case t()  > b() of true -> never; false -> always end.
test_t_ge_b() -> case t() >= b() of true -> never; false -> always end.

test_l_ll_i() -> case l()  < i() of true -> never; false -> always end.
test_l_le_i() -> case l() =< i() of true -> never; false -> always end.
test_l_gg_i() -> case l()  > i() of true -> always; false -> never end.
test_l_ge_i() -> case l() >= i() of true -> always; false -> never end.
test_l_ll_f() -> case l()  < f() of true -> never; false -> always end.
test_l_le_f() -> case l() =< f() of true -> never; false -> always end.
test_l_gg_f() -> case l()  > f() of true -> always; false -> never end.
test_l_ge_f() -> case l() >= f() of true -> always; false -> never end.
test_l_ll_n() -> case l()  < n() of true -> never; false -> always end.
test_l_le_n() -> case l() =< n() of true -> never; false -> always end.
test_l_gg_n() -> case l()  > n() of true -> always; false -> never end.
test_l_ge_n() -> case l() >= n() of true -> always; false -> never end.
test_l_ll_a() -> case l()  < a() of true -> never; false -> always end.
test_l_le_a() -> case l() =< a() of true -> never; false -> always end.
test_l_gg_a() -> case l()  > a() of true -> always; false -> never end.
test_l_ge_a() -> case l() >= a() of true -> always; false -> never end.
test_l_ll_t() -> case l()  < t() of true -> never; false -> always end.
test_l_le_t() -> case l() =< t() of true -> never; false -> always end.
test_l_gg_t() -> case l()  > t() of true -> always; false -> never end.
test_l_ge_t() -> case l() >= t() of true -> always; false -> never end.
test_l_ll_l() -> case l()  < l() of true -> maybe; false -> maybe_too end.
test_l_le_l() -> case l() =< l() of true -> maybe; false -> maybe_too end.
test_l_gg_l() -> case l()  > l() of true -> maybe; false -> maybe_too end.
test_l_ge_l() -> case l() >= l() of true -> maybe; false -> maybe_too end.
test_l_ll_m() -> case l()  < m() of true -> never; false -> always end.
test_l_le_m() -> case l() =< m() of true -> never; false -> always end.
test_l_gg_m() -> case l()  > m() of true -> always; false -> never end.
test_l_ge_m() -> case l() >= m() of true -> always; false -> never end.
test_l_ll_b() -> case l()  < b() of true -> always; false -> never end.
test_l_le_b() -> case l() =< b() of true -> always; false -> never end.
test_l_gg_b() -> case l()  > b() of true -> never; false -> always end.
test_l_ge_b() -> case l() >= b() of true -> never; false -> always end.

test_n_ll_na() -> case n()  < na() of true -> maybe; false -> maybe_too end.
test_n_le_na() -> case n() =< na() of true -> maybe; false -> maybe_too end.
test_n_gg_na() -> case n()  > na() of true -> maybe; false -> maybe_too end.
test_n_ge_na() -> case n() >= na() of true -> maybe; false -> maybe_too end.
test_n_ll_at() -> case n()  < at() of true -> always; false -> never end.
test_n_le_at() -> case n() =< at() of true -> always; false -> never end.
test_n_gg_at() -> case n()  > at() of true -> never; false -> always end.
test_n_ge_at() -> case n() >= at() of true -> never; false -> always end.
test_n_ll_tl() -> case n()  < tl() of true -> always; false -> never end.
test_n_le_tl() -> case n() =< tl() of true -> always; false -> never end.
test_n_gg_tl() -> case n()  > tl() of true -> never; false -> always end.
test_n_ge_tl() -> case n() >= tl() of true -> never; false -> always end.

test_a_ll_na() -> case a()  < na() of true -> maybe; false -> maybe_too end.
test_a_le_na() -> case a() =< na() of true -> maybe; false -> maybe_too end.
test_a_gg_na() -> case a()  > na() of true -> maybe; false -> maybe_too end.
test_a_ge_na() -> case a() >= na() of true -> maybe; false -> maybe_too end.
test_a_ll_at() -> case a()  < at() of true -> maybe; false -> maybe_too end.
test_a_le_at() -> case a() =< at() of true -> maybe; false -> maybe_too end.
test_a_gg_at() -> case a()  > at() of true -> maybe; false -> maybe_too end.
test_a_ge_at() -> case a() >= at() of true -> maybe; false -> maybe_too end.
test_a_ll_tl() -> case a()  < tl() of true -> always; false -> never end.
test_a_le_tl() -> case a() =< tl() of true -> always; false -> never end.
test_a_gg_tl() -> case a()  > tl() of true -> never; false -> always end.
test_a_ge_tl() -> case a() >= tl() of true -> never; false -> always end.

test_t_ll_na() -> case t()  < na() of true -> never; false -> always end.
test_t_le_na() -> case t() =< na() of true -> never; false -> always end.
test_t_gg_na() -> case t()  > na() of true -> always; false -> never end.
test_t_ge_na() -> case t() >= na() of true -> always; false -> never end.
test_t_ll_at() -> case t()  < at() of true -> maybe; false -> maybe_too end.
test_t_le_at() -> case t() =< at() of true -> maybe; false -> maybe_too end.
test_t_gg_at() -> case t()  > at() of true -> maybe; false -> maybe_too end.
test_t_ge_at() -> case t() >= at() of true -> maybe; false -> maybe_too end.
test_t_ll_tl() -> case t()  < tl() of true -> maybe; false -> maybe_too end.
test_t_le_tl() -> case t() =< tl() of true -> maybe; false -> maybe_too end.
test_t_gg_tl() -> case t()  > tl() of true -> maybe; false -> maybe_too end.
test_t_ge_tl() -> case t() >= tl() of true -> maybe; false -> maybe_too end.

test_l_ll_na() -> case l()  < na() of true -> never; false -> always end.
test_l_le_na() -> case l() =< na() of true -> never; false -> always end.
test_l_gg_na() -> case l()  > na() of true -> always; false -> never end.
test_l_ge_na() -> case l() >= na() of true -> always; false -> never end.
test_l_ll_at() -> case l()  < at() of true -> never; false -> always end.
test_l_le_at() -> case l() =< at() of true -> never; false -> always end.
test_l_gg_at() -> case l()  > at() of true -> always; false -> never end.
test_l_ge_at() -> case l() >= at() of true -> always; false -> never end.
test_l_ll_tl() -> case l()  < tl() of true -> maybe; false -> maybe_too end.
test_l_le_tl() -> case l() =< tl() of true -> maybe; false -> maybe_too end.
test_l_gg_tl() -> case l()  > tl() of true -> maybe; false -> maybe_too end.
test_l_ge_tl() -> case l() >= tl() of true -> maybe; false -> maybe_too end.

test_na_ll_n() -> case na()  < n() of true -> maybe; false -> maybe_too end.
test_na_le_n() -> case na() =< n() of true -> maybe; false -> maybe_too end.
test_na_gg_n() -> case na()  > n() of true -> maybe; false -> maybe_too end.
test_na_ge_n() -> case na() >= n() of true -> maybe; false -> maybe_too end.
test_na_ll_a() -> case na()  < a() of true -> maybe; false -> maybe_too end.
test_na_le_a() -> case na() =< a() of true -> maybe; false -> maybe_too end.
test_na_gg_a() -> case na()  > a() of true -> maybe; false -> maybe_too end.
test_na_ge_a() -> case na() >= a() of true -> maybe; false -> maybe_too end.
test_na_ll_t() -> case na()  < t() of true -> always; false -> never end.
test_na_le_t() -> case na() =< t() of true -> always; false -> never end.
test_na_gg_t() -> case na()  > t() of true -> never; false -> always end.
test_na_ge_t() -> case na() >= t() of true -> never; false -> always end.
test_na_ll_l() -> case na()  < l() of true -> always; false -> never end.
test_na_le_l() -> case na() =< l() of true -> always; false -> never end.
test_na_gg_l() -> case na()  > l() of true -> never; false -> always end.
test_na_ge_l() -> case na() >= l() of true -> never; false -> always end.

test_at_ll_n() -> case at()  < n() of true -> never; false -> always end.
test_at_le_n() -> case at() =< n() of true -> never; false -> always end.
test_at_gg_n() -> case at()  > n() of true -> always; false -> never end.
test_at_ge_n() -> case at() >= n() of true -> always; false -> never end.
test_at_ll_a() -> case at()  < a() of true -> maybe; false -> maybe_too end.
test_at_le_a() -> case at() =< a() of true -> maybe; false -> maybe_too end.
test_at_gg_a() -> case at()  > a() of true -> maybe; false -> maybe_too end.
test_at_ge_a() -> case at() >= a() of true -> maybe; false -> maybe_too end.
test_at_ll_t() -> case at()  < t() of true -> maybe; false -> maybe_too end.
test_at_le_t() -> case at() =< t() of true -> maybe; false -> maybe_too end.
test_at_gg_t() -> case at()  > t() of true -> maybe; false -> maybe_too end.
test_at_ge_t() -> case at() >= t() of true -> maybe; false -> maybe_too end.
test_at_ll_l() -> case at()  < l() of true -> always; false -> never end.
test_at_le_l() -> case at() =< l() of true -> always; false -> never end.
test_at_gg_l() -> case at()  > l() of true -> never; false -> always end.
test_at_ge_l() -> case at() >= l() of true -> never; false -> always end.

test_tl_ll_n() -> case tl()  < n() of true -> never; false -> always end.
test_tl_le_n() -> case tl() =< n() of true -> never; false -> always end.
test_tl_gg_n() -> case tl()  > n() of true -> always; false -> never end.
test_tl_ge_n() -> case tl() >= n() of true -> always; false -> never end.
test_tl_ll_a() -> case tl()  < a() of true -> never; false -> always end.
test_tl_le_a() -> case tl() =< a() of true -> never; false -> always end.
test_tl_gg_a() -> case tl()  > a() of true -> always; false -> never end.
test_tl_ge_a() -> case tl() >= a() of true -> always; false -> never end.
test_tl_ll_t() -> case tl()  < t() of true -> maybe; false -> maybe_too end.
test_tl_le_t() -> case tl() =< t() of true -> maybe; false -> maybe_too end.
test_tl_gg_t() -> case tl()  > t() of true -> maybe; false -> maybe_too end.
test_tl_ge_t() -> case tl() >= t() of true -> maybe; false -> maybe_too end.
test_tl_ll_l() -> case tl()  < l() of true -> maybe; false -> maybe_too end.
test_tl_le_l() -> case tl() =< l() of true -> maybe; false -> maybe_too end.
test_tl_gg_l() -> case tl()  > l() of true -> maybe; false -> maybe_too end.
test_tl_ge_l() -> case tl() >= l() of true -> maybe; false -> maybe_too end.

test_na_ll_na() -> case na()  < na() of true -> maybe; false -> maybe_too end.
test_na_le_na() -> case na() =< na() of true -> maybe; false -> maybe_too end.
test_na_gg_na() -> case na()  > na() of true -> maybe; false -> maybe_too end.
test_na_ge_na() -> case na() >= na() of true -> maybe; false -> maybe_too end.
test_na_ll_at() -> case na()  < at() of true -> maybe; false -> maybe_too end.
test_na_le_at() -> case na() =< at() of true -> maybe; false -> maybe_too end.
test_na_gg_at() -> case na()  > at() of true -> maybe; false -> maybe_too end.
test_na_ge_at() -> case na() >= at() of true -> maybe; false -> maybe_too end.
test_na_ll_tl() -> case na()  < tl() of true -> always; false -> never end.
test_na_le_tl() -> case na() =< tl() of true -> always; false -> never end.
test_na_gg_tl() -> case na()  > tl() of true -> never; false -> always end.
test_na_ge_tl() -> case na() >= tl() of true -> never; false -> always end.

test_at_ll_na() -> case at()  < na() of true -> maybe; false -> maybe_too end.
test_at_le_na() -> case at() =< na() of true -> maybe; false -> maybe_too end.
test_at_gg_na() -> case at()  > na() of true -> maybe; false -> maybe_too end.
test_at_ge_na() -> case at() >= na() of true -> maybe; false -> maybe_too end.
test_at_ll_at() -> case at()  < at() of true -> maybe; false -> maybe_too end.
test_at_le_at() -> case at() =< at() of true -> maybe; false -> maybe_too end.
test_at_gg_at() -> case at()  > at() of true -> maybe; false -> maybe_too end.
test_at_ge_at() -> case at() >= at() of true -> maybe; false -> maybe_too end.
test_at_ll_tl() -> case at()  < tl() of true -> maybe; false -> maybe_too end.
test_at_le_tl() -> case at() =< tl() of true -> maybe; false -> maybe_too end.
test_at_gg_tl() -> case at()  > tl() of true -> maybe; false -> maybe_too end.
test_at_ge_tl() -> case at() >= tl() of true -> maybe; false -> maybe_too end.

test_tl_ll_na() -> case tl()  < na() of true -> never; false -> always end.
test_tl_le_na() -> case tl() =< na() of true -> never; false -> always end.
test_tl_gg_na() -> case tl()  > na() of true -> always; false -> never end.
test_tl_ge_na() -> case tl() >= na() of true -> always; false -> never end.
test_tl_ll_at() -> case tl()  < at() of true -> maybe; false -> maybe_too end.
test_tl_le_at() -> case tl() =< at() of true -> maybe; false -> maybe_too end.
test_tl_gg_at() -> case tl()  > at() of true -> maybe; false -> maybe_too end.
test_tl_ge_at() -> case tl() >= at() of true -> maybe; false -> maybe_too end.
test_tl_ll_tl() -> case tl()  < tl() of true -> maybe; false -> maybe_too end.
test_tl_le_tl() -> case tl() =< tl() of true -> maybe; false -> maybe_too end.
test_tl_gg_tl() -> case tl()  > tl() of true -> maybe; false -> maybe_too end.
test_tl_ge_tl() -> case tl() >= tl() of true -> maybe; false -> maybe_too end.