val scan_ast :
('a, 'b) 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, 'b) Ast_defs.ast ->
('a, 'b) Ast.def list * Ast_util.IdSet.tval filter_replacements :
Ast_util.IdSet.t ->
('a, 'b) Ast_defs.ast ->
('a, 'b) Ast.def listval move_replacement_fundefs : ('a, 'b) Ast_defs.ast -> ('a, 'b) Ast_defs.astval annotate_ast : ('a, 'b) Ast_defs.ast -> ('a, Type_check.Env.t) Ast_defs.astval splice :
Initial_check.ctx ->
(Type_check.tannot, Type_check.Env.t) Ast_defs.ast ->
string ->
(Type_check.tannot, Type_check.Env.t) Ast_defs.astval splice_files :
Initial_check.ctx ->
(Type_check.tannot, Type_check.Env.t) Ast_defs.ast ->
string list ->
Type_check.typed_ast * Type_check.Env.t