val opt_ddump_initial_ast : bool refval opt_ddump_side_effect : bool refval opt_ddump_tc_ast : bool refval opt_list_files : bool refval opt_reformat : string option reftype abstract_instantiation = {env_update : Type_check.env -> Type_check.env;config_ids : (Ast.kind_aux * string list) Ast_util.Bindings.t;}env_update: This function takes a pre abstract instantiation type environment, and makes any abstract types concrete if they were instantiated.
config_ids: The set of identifiers that were instantiated from the provided configuration.
val instantiate_abstract_types :
Target.target option ->
Yojson.Safe.t ->
(Ast.kind_aux -> Ast.typ_arg) Ast_util.Bindings.t ->
Type_check.typed_ast ->
Type_check.typed_ast * abstract_instantiationmodule type FILE_HANDLER = sig ... endThe FILE_HANDLER module type allows plugins to define handlers for custom file types. It defines how those files are processed and eventually generate Sail AST types.
val register_file_handler : extension:string -> (module FILE_HANDLER) -> unitRegister a file handler module. The extension should be the extension for the file type we want to handle, e.g. ".json".
val load_modules :
?target:Target.target ->
string ->
(Arg.key * Arg.spec * Arg.doc) list ->
Type_check.Env.t ->
Project.project_structure ->
Project.mod_id list ->
Initial_check.ctx
* Type_check.typed_ast
* Type_check.Env.t
* Effects.side_effect_infoval load_files :
?target:Target.target ->
string ->
(Arg.key * Arg.spec * Arg.doc) list ->
Type_check.Env.t ->
string list ->
Initial_check.ctx
* Type_check.typed_ast
* Type_check.Env.t
* Effects.side_effect_infoval initial_rewrite :
Effects.side_effect_info ->
Type_check.Env.t ->
Type_check.typed_ast ->
Type_check.typed_ast * Type_check.Env.t