val instantiate_abstract_types :
Ast.typ_arg Ast_util.Bindings.t ->
Type_check.typed_ast ->
Type_check.typed_astmodule 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 ->
(Stdlib.Arg.key * Stdlib.Arg.spec * Stdlib.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 ->
(Stdlib.Arg.key * Stdlib.Arg.spec * Stdlib.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