To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
package sail
-
libsail
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val scan_ast :
'a Ast_defs.ast ->
Ast_util.IdSet.t * 'a Ast.val_spec Ast_util.Bindings.tval filter_old_ast :
Ast_util.IdSet.t ->
'a Ast.val_spec Ast_util.Bindings.t ->
'a Ast_defs.ast ->
'a Ast.def list * Ast_util.IdSet.tval filter_replacements :
Ast_util.IdSet.t ->
'a Ast_defs.ast ->
'a Ast.def listval splice :
Type_check.tannot Ast_defs.ast ->
string ->
Type_check.tannot Ast_defs.ast * Type_check.Env.t