de.fosd.typechef.typesystem
maintains a map from names to types a name may be mapped to alternative types with different feature expressions
internally storing Type, whether its a definition (as opposed to a declaration), and the current scope idx
apply returns a type, possibly CUndefined or a choice type
returns only the type information, not the ast
maintains a map from names to types a name may be mapped to alternative types with different feature expressions
internally storing Type, whether its a definition (as opposed to a declaration), and the current scope idx