package atd
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Check the validity of an ATD file beyond syntax.
For example, this checks that each type definition is unique.
val check : Ast.module_body -> unitCheck the validity of an ATD file. Raises an exception on the first error encountered.