viaduct
0.3.0
compiler
/
io.github.aplcornell.viaduct.selection
/
CostAdd
/
CostAdd
Cost
Add
fun
CostAdd
(
lhs
:
SymbolicCost
,
rhs
:
SymbolicCost
)