JCHIntegrateSummaries
val set_api_summary_classpath : string -> unit
val set_profile_summary_classpath : string -> unit
val set_supplement_summary_classpath : string -> unit
val save_xml_class_or_interface_summary : JCHBasicTypesAPI.class_name_int -> unit