jasmin.jasmin
Expr.FunInfo
jasmin.linter
jasmin.uint63
jasmin.uint63-js
jasmin.uint63-native
type t
val witness : t
val entry_info : t -> instr_info
val ret_info : t -> instr_info