module RBS::Resolver