AppLogicFromStatic augments the static application logic with a default implementation of the reconfiguration logic that simply always uses the same membership.

NewAppModule creates a new AppModule.

AppModule is the module within the SMR system that handles the application logic.

AppLogic represents the application logic of an SMR system.

StaticAppLogic represents the logic of an application that is not reconfigurable.