The gen_leader application

Generated by EDoc, Jul 29 2022, 15:32:28.