Functor Camlp4.Struct.FreeVars.Make

module Make: 
functor (Ast : Camlp4.Sig.Camlp4Ast) -> sig .. end

module S: Set.Make(String)

class ['a] c_fold_pattern_vars : (string -> 'a -> 'a) -> 'a -> object .. end

val fold_pattern_vars : (string -> 'a -> 'a) -> Ast.patt -> 'a -> 'a

val fold_binding_vars : (string -> 'a -> 'a) -> Ast.binding -> 'a -> 'a

class ['a] fold_free_vars : (S.elt -> 'a -> 'a) -> ?env_init:S.t -> 'a -> object .. end

val free_vars : S.t ->
       Ast.expr -> S.t