Up – Package index » jasmin » Library jasmin.jasmin » Jasmin » Zpower

Module `Jasmin.Zpower`

val shift_nat : Datatypes.nat -> BinNums.positive -> BinNums.positive

val two_power_nat : Datatypes.nat -> BinNums.coq_Z