type regex = Re2.tval sexp_of_regex : regex -> Sexplib0.Sexp.tval regex_of_sexp : Sexplib0.Sexp.t -> regexmodule Template : sig ... endmodule Quotation : sig ... endmodule Var : sig ... endmodule type Pattern_general = sig ... endmodule Pattern : Pattern_generalmodule Pattern_record : Pattern_generalval flatten : 'a Quotation.t -> 'a anti_quote Template.tmodule Record_field : sig ... endtype query = | This| Pipe of query * query| Die| Cat of query * query| Equals of Core.Sexp.t Core.Hash_set.t| Regex of regex| Variant of string * int option| Field of string| Index of int| Each| Smash| Atomic| Wrap of query| Test of query| Not of query| And of query * query| Or of query * query| If of query * query * query| Branch of query * query * query| Quote of query anti_quote Template.t| Change of change| Restructureand change = | Id| Fail| Delete| Alt of change * change| Seq of change * change| Children of change| Record of change Record_field.t Core.String.Map.t| Rewrite of Pattern.t * Pattern.t| Rewrite_record of Pattern_record.t * Pattern_record.t| Topdown of change| Bottomup of change| Lowercase| Concat| Query of queryval quote : query Quotation.t -> queryval equals : Core.Sexp.t -> queryval const : Core.Sexp.t -> changemodule Unroll : sig ... endmodule Query : sig ... endmodule Change : sig ... end