class ['a] fold_free_vars : (S.elt -> 'a -> 'a) -> ?env_init:S.t -> 'a -> object .. end
Inherits
val free : 'a
val env : S.t
method free : 'a
method set_env : S.t ->
(< add_atom : S.elt -> 'c;
add_binding : Ast.binding -> 'c; add_patt : Ast.patt -> 'c;
binding : Ast.binding -> 'c; class_expr : Ast.class_expr -> 'c;
class_sig_item : Ast.class_sig_item -> 'c;
class_str_item : Ast.class_str_item -> 'c;
class_type : Ast.class_type -> 'c; ctyp : Ast.ctyp -> 'c;
direction_flag : Ast.direction_flag -> 'c; expr : Ast.expr -> 'c;
free : 'a; ident : Ast.ident -> 'c;
list : 'd. ('c -> 'd -> 'c) -> 'd list -> 'c; loc : Ast.loc -> 'c;
match_case : Ast.match_case -> 'c; meta_bool : Ast.meta_bool -> 'c;
meta_list : 'e. ('c -> 'e -> 'c) -> 'e Ast.meta_list -> 'c;
meta_option : 'f. ('c -> 'f -> 'c) -> 'f Ast.meta_option -> 'c;
module_binding : Ast.module_binding -> 'c;
module_expr : Ast.module_expr -> 'c; module_type : Ast.module_type -> 'c;
mutable_flag : Ast.mutable_flag -> 'c;
override_flag : Ast.override_flag -> 'c; patt : Ast.patt -> 'c;
private_flag : Ast.private_flag -> 'c;
rec_binding : Ast.rec_binding -> 'c; rec_flag : Ast.rec_flag -> 'c;
row_var_flag : Ast.row_var_flag -> 'c; set_env : 'b;
sig_item : Ast.sig_item -> 'c; str_item : Ast.str_item -> 'c;
string : string -> 'c; unknown : 'g. 'g -> 'c;
virtual_flag : Ast.virtual_flag -> 'c;
with_constr : Ast.with_constr -> 'c; .. >
as 'c)
as 'b
method add_atom : S.elt -> 'c
method add_patt : Ast.patt -> 'c
method add_binding : Ast.binding -> 'c
method expr : Ast.expr -> 'c
method match_case : Ast.match_case -> 'c
method str_item : Ast.str_item -> 'c
method class_expr : Ast.class_expr -> 'c
method class_str_item : Ast.class_str_item -> 'c
method module_expr : Ast.module_expr -> 'c