viaduct
0.3.0
interpreter
/
io.github.aplcornell.viaduct.backend
/
normalize
normalize
fun
WireTerm
.
normalize
(
counter
:
NormalizeCounter
)
:
WireTerm