public TypeSpace CreateTypeSpace(string name) { TypeSpace new_ts = new TypeSpace(name, _typespace_address); _sub_typespace.Add(name, new_ts); return(new_ts); }
public TypeSpace PullTypeSpace(string name) { TypeSpace space = _sub_typespace[name]; _sub_typespace.Remove(name); return(space); }