Closed zasdfgbnm closed 1 year ago
By using newLogicExpr, we are already assuming Bool*, so I don't see any reason why not to return a Bool* because doing so can be more convenient to use.
newLogicExpr
Bool*
On a slightly related note, do you think we can remove SimplyfingIrBuilder in favor of the expression simplifier?
SimplyfingIrBuilder
By using
newLogicExpr
, we are already assumingBool*
, so I don't see any reason why not to return aBool*
because doing so can be more convenient to use.