es.uned.compiler.semantic.type
Interfaces 
TypeIF
TypeTableIF
Classes 
TypeBase