Browse Source

update .mli

master
zapashcanon 2 months ago
parent
commit
1aee076eb1
Signed by: zapashcanon GPG Key ID: 8981C3C62D1D28F1
  1. 3
      src/simplify.mli

3
src/simplify.mli

@ -30,6 +30,7 @@ type module_ =
; exported_tables : (string, int) Hashtbl.t
; start : int option
; should_trap : string option
; should_not_link : string option
}
type action =
@ -42,8 +43,6 @@ type assert_ =
| SAssert_exhaustion of action * string
| SAssert_invalid of Types.module_ * string
| SAssert_invalid_quote of string list * string
| SAssert_invalid_binary of string list * string
| SAssert_unlinkable of Types.module_ * string
type cmd =
| Module_indice of int

Loading…
Cancel
Save