type typeArgument = | ArgumentExtends of fieldTypeSignature| ArgumentInherits of fieldTypeSignature| ArgumentIs of fieldTypeSignature| ArgumentIsAnyand classTypeSignature = {cts_package : string list;cts_enclosing_classes : simpleClassTypeSignature list;cts_simple_class_type_signature : simpleClassTypeSignature;}and formalTypeParameter = {ftp_name : string;ftp_class_bound : fieldTypeSignature option;ftp_interface_bounds : fieldTypeSignature list;}and classSignature = {cs_formal_type_parameters : formalTypeParameter list;cs_super_class : classTypeSignature;cs_super_interfaces : classTypeSignature list;}and fieldTypeSignature = | GClass of classTypeSignature| GArray of typeSignature| GVariable of typeVariabletype methodTypeSignature = {mts_formal_type_parameters : formalTypeParameter list;mts_type_signature : typeSignature list;mts_return_type : typeSignature option;mts_throws : throwsSignature list;}