rapx::analysis::opt::checking::encoding_checking::array_encoding

Static DEFPATHS

source 
static DEFPATHS: OnceCell<DefPaths>