module Ast_invariants: sig .. end
sig
end
檢查 AST 不變式
警告：此模組不穩定，且為 compiler-libs 的一部分。
val structure : Parsetree.structure -> unit
Parsetree.structure -> unit
val signature : Parsetree.signature -> unit
Parsetree.signature -> unit