Module Kernel.Patt

type path = Path.t
type t
type plist
type node = Lang.node
val pattern_matches : t -> node -> bool
val all_matches : t -> node -> path list
val focus_matches : t -> path list -> path list
val int : (Z.t -> bool) option -> t
val string : (string -> bool) option -> t
val bytes : (Stdlib.Bytes.t -> bool) option -> t
val prim : head -> plist -> t
val prim_pred : (head -> bool) -> plist -> t
val seq : plist -> t
val any : t
val focus : t -> t
val list_any : plist
val list_empty : plist
val list_cons : t -> plist -> plist
val (@.) : t -> plist -> plist
val pp : Stdlib.Format.formatter -> t -> unit
val uid : t -> int