type comment = char Tree.treetype module_name = upper_identifiertype module_path = module_name listtype type_name_def = lower_identifiertype type_name_ref = module_path * type_name_deftype constr_name_def = upper_identifiertype field_name_def = lower_identifiertype atomic_type = | AT_identifier of type_name_ref| AT_abstract of abstract_identifier| AT_multi of product_type list * type_name_ref| AT_subtype of product_typeand single_instanciation_type = atomic_type * type_name_ref listand product_type = single_instanciation_type listtype record_type = (field_name_def * product_type) listtype sum_type = (constr_name_def * product_or_record_type option) listtype named_type = {nt_params : abstract_identifier list;nt_name : type_name_def;nt_def : named_type_definition;}type named_type_rec = named_type listtype system_type = named_type_rec list