type t = | Capture of t * int| Any| Atom of string| Atom_regex of Re2.t| Sequence of t list| Star of t| Star_greedy of t| Plus of t| Plus_greedy of t| Maybe of t| Maybe_greedy of t| List of t| Set of (t * Query.Set_kind.t) list| Subsearch of t| And of t list| Or_shortcircuiting of t list| Or_all of t list| First_match_only of tSame as Query.t, except that Re2 regexes have been compiled and captures have been boiled down into simply an index into an array where that capture should be stored.
val sexp_of_t : t -> Sexplib0.Sexp.tval create :
Query.t ->
_ Output_method.t ->
t * [ `Labels_of_captures of string array ]Compiles a query. Returns t, `Labels_of_captures labels.
labels is the list of all unique keys that expect to receive a capture, a stringified integer in the case of a numbered capture, the string name in the case of a named capture, and unique default-created labels in the case of captures that the user did not themselves label.
The array indices of labels correspond one-to-one with the integers returned in the Capture variant of t.