package Ġit . la face . stats . domain Ċ Ċ import Ġit . la face . navigation . Page Ċ Ċ fun Ġinterface ĠLe aders Page Provider Ġ{ ĊĊĠĠĠ Ġfun Ġget Le aders Page ( section : ĠStats Section ): ĠPage Ċ } Ċ