new
GammaAlive (context) > ∴ theta_foo < atom (abstract)

∴ theta_foo

Explanation of theta_foo


lib/example/alpha_alive/gamma_alive.ex
[theta_foo: atom]

[theta_foo: atom]


test/example/alpha_alive/gamma_alive_test.exs
[theta_foo: atom]

[theta_foo: atom]