The main functionalities of qedeq modules are described here.