Definition of Sail project files, and functions for working with them.
module ModId : sig ... endModule identifiers are just integers, but we don't want to expose that representation to the world.
type mod_id = ModId.tval global_scope : mod_idThe global scope is for code not defined in any module.
module ModSet : sig ... endtype l = Lexing.position * Lexing.positiontype 'a spanned = 'a * lval to_loc : l -> Parse_ast.lConvert a project file location to a full Parse_ast location
val bool_value : bool -> valueval string_value : string -> valueval parse_assignment : variables:value Util.StringMap.t ref -> string -> boolval initialize_project_structure :
variables:value Util.StringMap.t ref ->
def spanned list ->
project_structureval get_module_id : project_structure -> string -> mod_id optionval get_children : mod_id -> project_structure -> ModSet.tval required_modules : roots:ModSet.t -> project_structure -> mod_id -> boolCreate a predicate that returns true for any module that is (transitively) required by any module in the roots set of modules.
val module_name : project_structure -> mod_id -> string spannedval valid_module_id : project_structure -> mod_id -> boolval module_order : project_structure -> mod_id listval module_files : project_structure -> mod_id -> string spanned listval module_requires : project_structure -> mod_id -> mod_id listval all_files : project_structure -> string spanned listval all_modules : project_structure -> mod_id list