codept-lib

API

Library codept-lib

• Approx_parser Approximate parser for non-syntactically valid files.
• Ast_converter Ast_converter does the conversion between the OCaml parsetree AST and the M2l AST.
• Cmi Extract information from cmi files
• Debug
• Dep_zipper
• Deps
• Envt
• Fault Fault definitions and associated polycy
• Format_compat Compatibility function for manipulating out_format_functions
• Format_tags
• Id
• Loc Location information within a file
• Longident_converter
• M2l The M2l module (for Module Meta Language) defines the codept AST.
• Modname Module name.
• Module
• Mresult Result combinators
• Name Basic function and modules over string as name
• Namespaced Namespaced name, useful for packed module
• Option Option helper functions
• Paths Various path implementation
• Pkg Localized path for package
• Pp Pretty printing functions collection
• Pparse_compat
• Read Read m2l ast and module names from files
• Schema
• Schematic Schema for exported data
• Schematic_indices
• Slex
• Solver Basic solver
• Sparser
• Stage
• Standard_faults Standard faults
• Standard_policies Standard policies
• Summary Short summary of visible and defined modules at an AST node
• Support Support module for recently introduced function in stdlib
• Transforms
• Uloc
• Unit Functions for handling unit (aka .ml/.mli) files
• Unitname The Unit name is the name of a module which can be represented by a file. The unit name transforms the given file path into a Modname.t and keep the file path internally.
• Win32_compat
• With_deps
• Zipper
• Zipper_def
• Zipper_fold
• Zipper_pp
• Zipper_skeleton

Library codept-lib.bundled

• Bundle