The gen_leader application

Generated by EDoc, Aug 9 2023, 00:04:39.