jasmin.jasmin
PeanoNat.Nat
jasmin.uint63
jasmin.uint63-js
jasmin.uint63-native
val leb : Datatypes.nat -> Datatypes.nat -> bool
val iter : Datatypes.nat -> ('a1 -> 'a1) -> 'a1 -> 'a1