charon_lib::ast

Module names_utils

source
Expand description

Defines some utilities for crate::names

For now, we have one function per object kind (type, trait, function, module): many of them could be factorized (will do).