viaduct
0.2.0-5-g5831d91.dirty
runtime
/
edu.cornell.cs.apl.viaduct.libsnarkwrapper
/
R1CSInstance
/
mkLessThan
mk
Less
Than
open
fun
mkLessThan
(
a
:
Var
,
b
:
Var
)
:
Var
Content copied to clipboard