private CTerm UnwrapType(CType type, out string wrap) { CTerm core; if (type is CWrap) { AttrWrapMaker maker = new AttrWrapMaker(this); type.UnwrapTo(maker, out core); wrap = maker.Value; } else { core = (CTerm)type; wrap = ""; } return(core); }
private CTerm UnwrapType(CType type, out string wrap) { CTerm core; if (type is CWrap) { AttrWrapMaker maker = new AttrWrapMaker(this); type.UnwrapTo(maker, out core); wrap = maker.Value; } else { core = (CTerm)type; wrap = ""; } return core; }