···44 * SPDX-License-Identifier: GPL-3.0-or-later
55 *)
6677-(** Core types
88- *)
77+(** Core types *)
98109include Base
1010+(**@closed*)
11111212module Iri_scheme = Iri_scheme
1313···22222323(** {1 Error handling}*)
24242525-(** Definition of compiler diagnostics and other errors.*)
2525+(** {2 Compiler diagnostics and other errors.}*)
2626+2627module Reporter = Reporter
27282828-(** Source locations. Among other things these are used by compiler diagnostics and the language server.*)
2929+(** {2 Source locations}
3030+ Among other things these are used by compiler diagnostics and the language server.*)
3131+2932module Range = Range
30333134(** {1 Query system}