Модуль Ast_invariants

module Ast_invariants: sig .. end

Проверка инвариантов AST

Предупреждение: этот модуль нестабилен и является частью compiler-libs.

val structure : Parsetree.structure -> unit

val signature : Parsetree.signature -> unit