apalache
apalache copied to clipboard
Implement class `OptionsProvider` for dependency injection
By implementing Guice's provider trait we can get late binding of pass options inserted into the DI cascade.
By implementing Guice's provider trait we can get late binding of pass options inserted into the DI cascade.