Le module decls déclare les prédicats dynamiques qui vont être utilisés pendant la compilation et la simulation, ainsi que les opérateurs utilisés pour la description des agents et des jeux.
