jasmin.jasmin
Bigop.Coq_bigop
jasmin.linter
jasmin.uint63
jasmin.uint63-js
jasmin.uint63-native
val body : 'a1 -> 'a2 list -> ('a2 -> ('a1, 'a2) bigbody) -> 'a1