Searched defs:TypeSystem (Results 1 – 2 of 2) sorted by relevance
28 class TypeSystem; variable
48 TypeSystem::TypeSystem(VerifierService *service, panda_file::SourceLang lang) in TypeSystem() function in ark::verifier::TypeSystem