Searched refs:d_strType (Results 1 – 2 of 2) sorted by relevance
28 d_strType = nm->stringType(); in SkolemCache()34 return mkTypedSkolemCached(d_strType, a, b, id, c); in mkSkolemCached()48 if (tn == d_strType) in mkTypedSkolemCached()72 return mkTypedSkolem(d_strType, c); in mkSkolem()
158 TypeNode d_strType; variable