runtime/edu.cornell.cs.apl.viaduct.backend/WireGenerator/mkIn

mkIn

fun mkIn(v: Int, hash: List<Byte>, nonce: List<Byte>): WireTerm
Content copied to clipboard