Module Cmt_formatSource

Sourcetype binary_annots =
  1. | Packed of Types.signature * string list
  2. | Implementation of Typedtree.structure
  3. | Interface of Typedtree.signature
  4. | Partial_implementation of binary_part array
  5. | Partial_interface of binary_part array
Sourceand binary_part =
  1. | Partial_structure of Typedtree.structure
  2. | Partial_structure_item of Typedtree.structure_item
  3. | Partial_expression of Typedtree.expression
  4. | Partial_pattern of Typedtree.pattern
  5. | Partial_class_expr of unit
  6. | Partial_signature of Typedtree.signature
  7. | Partial_signature_item of Typedtree.signature_item
  8. | Partial_module_type of Typedtree.module_type
Sourcetype cmt_infos = {
  1. cmt_modname : string;
  2. cmt_annots : binary_annots;
  3. cmt_value_dependencies : (Types.value_description * Types.value_description) list;
  4. cmt_comments : (string * unit) list;
  5. cmt_args : string array;
  6. cmt_sourcefile : string option;
  7. cmt_builddir : string;
  8. cmt_loadpath : string list;
  9. cmt_source_digest : string option;
  10. cmt_initial_env : Env.t;
  11. cmt_imports : (string * Digest.t option) list;
  12. cmt_interface_digest : Digest.t option;
  13. cmt_use_summaries : bool;
}
Sourceexception Error of string
Sourceval read_cmt : string -> cmt_infos
Sourceval read_cmi : string -> Cmi_format.cmi_infos