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