Searched defs:KUnbounded (Results 1 – 3 of 3) sorted by relevance
144 KUnbounded -> let CInteger w = cvVal cv in shexI False True w function252 KUnbounded -> let CInteger w = cvVal cv in shexI False True w function
57 | KUnbounded constructor134 smtType KUnbounded = "Int" function328 hasUninterpretedSorts KUnbounded = False function386 needsFlattening KUnbounded = False function
451 mkConstCV KUnbounded a = normCV $ CV KUnbounded (CInteger (toInteger a)) function