package atd

  1. Overview
  2. Docs

Check the validity of an ATD file beyond syntax.

For example, this checks that each type definition is unique.

val check : Ast.module_body -> unit

Check the validity of an ATD file. Raises an exception on the first error encountered.