code: def reorder(self, module=None):
          
          module = module._mdl if module is not None else ffi.NULL
  
          lib.EnvReorderAgenda(self._env, module)
docs: Reorder the Activations in the Agenda.
  
          If no Module is specified, the current one is used.
  
          To be called after changing the conflict resolution strategy.