Beluga_parser.Config_parserReader for configuration files for Beluga signatures.
A configuration file is a list of Beluga source file names (with file extension .bel) or configuration file names (with file extension .cfg). Configuration files are read recursively.
For instance, the following is a valid configuration file:
% Definitions syntax.bel join.bel % Theorems context_functions.bel lemma1.bel substitution.bel judgments.bel substitution_functions.bel subst_split.bel
val read_configuration :
filename:string ->
(Beluga_syntax.Location.t * string) listread_configuration ~filename is the list of Beluga file paths to load as configured in filename. If filename is not a configuration file, then filename is the only Beluga file path returned.
A configuration file is a UTF-8 encoded list of file paths. The configuration file may have line comments starting with %. Whitespaces in paths are supported.