val check : Ast.module_body -> unitCheck the validity of an ATD file. Raises an exception on the first error encountered.
Atd.Checkval check : Ast.module_body -> unitCheck the validity of an ATD file. Raises an exception on the first error encountered.