Metadata attached to syntactic constructs.

loc m is the text source location of i.

loc_errf smeta fmt formats an error for the location in smeta. The result should be printed as is on the TTY.

The type for @@@B0.boot directive data. The list of strings.

The type for @@@B0.include directive data. The scope name and the included file.

The type for #require directive data. The library name.

The type for #mod_use directive data. The path to the module source.

The type for b0 files sources.

of_string ~file s parses a b0 file from s. file is the file used for locations, it must be absolute.

file f is the b0 file's file.

b0_boots f are the individual @@@B0.boot directives.

b0_includes f are the @@@B0.includes directives. The scope name and the included file.

requires s are the library names of the #require directives.

mod_uses s are the file path of the #mod_use directives.

ocaml_unit s is the script's OCaml implementation unit.

pp_dump dumps the parsed b0 file.

pp_locs dumps the source text locations of s.

The type for sources with expanded expanded directives and scoping instructions in place.

expand f expands f's includes.

expanded_file_manifest e are all the files that contributed to the expansion of e (including the unexpanded source).

expanded_b0_boots e are all the @@@B0.boots found during expansion.

expanded_b0_includes e are the expanded file includes whose scope names have been qualified.

expanded_requires e are all the requires that were found. This has duplicates.

expanded_src e is the expanded source with B0_scopeing and mod_uses spliced in instructions and the call to B0_driver.main.