Module Ppx_fresh

val is_state_pattern : Ppxlib.pattern -> string option
val classify_name : f:(Ppxlib.longident -> bool) -> Ppxlib.expression -> bool
val need_insert_fname : name:string -> Ppxlib.expression -> bool
val is_defer : Ppxlib.expression -> bool
val is_conde : Ppxlib.expression -> bool
val is_fresh : Ppxlib.expression -> bool
val is_call_fresh : Ppxlib.expression -> bool
val is_unif : Ppxlib.expression -> bool
val is_conj : Ppxlib.expression -> bool
val is_conj_list : Ppxlib.expression -> bool
val is_disj : Ppxlib.expression -> Base.bool
val option_map : f:('a -> 'b) -> 'a option -> 'b option
val option_bind : f:('a -> 'b option) -> 'a option -> 'b option
exception Not_an_ident
val reconstruct_args : Ppxlib.expression -> string list option
val list_fold : f:('a -> 'b -> 'a) -> initer:('b -> 'a) -> 'b list -> 'a
val list_fold_right0 : f:('a -> 'b -> 'b) -> initer:('a -> 'b) -> 'a Base.List.t -> 'b
val my_list : loc:Ppxlib.location -> Ppxlib_ast.Ast.expression Base.List.t -> Ppxlib_ast.Ast.expression
val parse_to_list : Ppxlib.expression -> Ppxlib.expression Base.List.t
val mapper : Ppxlib.Ast_traverse.map