module RBS::Types