Add a tiny utility function for logical implication#36209

toregge merged 1 commit into

mastervespa-engine/vespa:masterfrom

vekterli/material-implication-utilvespa-engine/vespa:vekterli/material-implication-utilCopy head branch name to clipboard