let section_string section = match section with | Privates -> "private" | Protects -> "protected" | Publics -> "public" | Refines -> "refinement" | Mains -> "main"