interpreter/io.github.aplcornell.viaduct.backend/WireGenerator/mkIn

mkIn

fun mkIn(v: Int, hash: List<Byte>, nonce: List<Byte>): WireTerm