Up – Package index » jasmin » Library jasmin.jasmin » Jasmin » BinNat » N

Module `BinNat.N`

jasmin

val double : BinNums.coq_N -> BinNums.coq_N

val testbit : BinNums.coq_N -> BinNums.coq_N -> bool