jasmin.jasmin
Jasmin.CheckAnnot
jasmin.uint63
jasmin.uint63-js
jasmin.uint63-native
val check_stack_size : (Expr.stk_fun_extra * (_, _) Prog.func) list -> unit
Check the stacksize, stackallocsize & stackalign annotations, if any