new
GammaAlive (context) > ∴ theta_baz < integer (abstract)

∴ theta_baz

Explanation of theta_baz


lib/example/alpha_alive/gamma_alive.ex
[theta_baz: integer] 

[theta_baz: integer]


test/example/alpha_alive/gamma_alive_test.exs
[theta_baz: integer] 

[theta_baz: integer]