libsail
Libsail.FrontendSourceval instantiate_abstract_types :
Ast.typ_arg Ast_util.Bindings.t ->
Type_check.typed_ast ->
Type_check.typed_astThe 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.
Register 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