src/kernel_internals/typing/cfg.mli

src/kernel_internals/typing/populate_spec.mli

src/kernel_services/ast_data/cil_types.ml

src/kernel_services/ast_queries/cil.mli

src/kernel_services/ast_queries/logic_env.mli

src/kernel_services/parsetree/logic_ptree.ml

src/libraries/datatype/datatype.mli

src/libraries/datatype/structural_descr.mli

src/libraries/datatype/type.mli

src/libraries/project/project.mli

src/libraries/stdlib/extlib.mli

src/libraries/utils/bitvector.mli

src/libraries/utils/pretty_utils.mli

src/plugins/region/Region.mli