Searched defs:wordLit (Results 1 – 2 of 2) sorted by relevance
183 wordLit _ w i = pure $! mkBv w i function
217 wordLit _ n x = pure $! literalSWord (fromInteger n) x function