Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package atd
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module Atd.Check
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.