Lines Matching refs:word
1533 (w2w w && n2w n = w2w ((w:'b word) && n2w n) :'a word) /\
1534 (n2w n && w2w w = w2w (n2w n && (w:'b word)) :'a word) /\
1535 (w2w w ?? n2w n = w2w ((w:'b word) ?? n2w n) :'a word) /\
1536 (n2w n ?? w2w w = w2w (n2w n ?? (w:'b word)) :'a word) /\
1537 (w2w w || n2w n = w2w ((w:'b word) || n2w n) :'a word) /\
1538 (n2w n || w2w w = w2w (n2w n || (w:'b word)) :'a word)``,
1541 \\ `(n2w n):'a word = w2w ((n2w (n MOD dimword (:'b))):'b word)` by
1552 (w2w (w2w v + (w2w w) :'c word) = w2w (v + w:'a word) :'b word) /\
1553 (w2w (w2w v - (w2w w) :'c word) = w2w (v - w:'a word) :'b word) /\
1554 (w2w (w2w v * (w2w w) :'c word) = w2w (v * w:'a word) :'b word)``,