Searched refs:pured (Results 1 – 12 of 12) sorted by relevance
19 pured :: (Applicative g,Applicative f) => g a -> g (f a)20 pured = fmap pure function
245 int64_t pured = 0; in block_pure_literal() local255 pured++; in block_pure_literal()263 LOG ("blocking %" PRId64 " clauses on pure literal %d", pured, lit); in block_pure_literal()711 int64_t pured = stats.blockpured; in block() local732 pured = stats.blockpured - pured; in block()735 if (pured) in block()741 purelits, pured); in block()
113 $pured = 0; # if $pure or $pured d's are pure249 if ((($amlower eq "d") && $pured) || (($amlower eq "f") && $puref)) {
69368 pured 1
104672 pured
104665 pured
104868 pured
160243 pured
100156 depured deˈpured [ppl.] ← deˈpure346797 pured † pured [ppl. adj.]346798 pured pure D [adj.]346799 puredcalabre › pured calabre, miniver ← pured346800 puredminiver › pured miniver, miniver pure ← miniver365797 repured reˈpured [ppl. adj.] ← reˈpure495480 unpured † unˈpured [ppl. adj.]
173743 pured
161740 pured473831 pured
627005 refined.</def> [Obs.] "Bread of <i>pured</i> wheat." "<i>Pured</i>