================== self-referencing-record ================== module type R = record field: ^R end end. --- (source_file (module_declaration (type_section (type_declaration (identifier_definition (identifier)) (record_type (field_declaration (identifier_definition (identifier)) (pointer_type (identifier))))))))