Module `Pattern.Make_raw`Source

Parameters

module P : Intf.Signature

module T : Intf.Term_core with type prim = P.t and type t = P.t Term.term

module Z : Intf.Zipper with type term = T.t

Sourcetype prim = P.t

Sourcetype zipper = Z.t

Sourcetype 'a with_state = 'a Z.with_state

Sourcetype t =

Sourcetype matching = t list

Sourcetype plist =

Sourcetype term = T.t

Sourceval fold_range : (int -> 'a -> 'a) -> 'a -> int -> 'a

Sourceval arity : Z.t -> int

val get_zippers_of_focuses : 
  (prim, focused) pattern ->
  zipper ->
  zipper list ->
  zipper list

val get_zippers_of_focuses_list : 
  (prim, focused) pattern_list ->
  zipper ->
  int ->
  zipper list ->
  zipper list

Sourceval pattern_matches_aux : 'f. (prim, 'f) pattern -> term -> bool

Sourceval list_matches : 'f. (prim, 'f) pattern_list -> term array -> int -> bool

Sourceval pattern_matches : t -> term -> bool

Sourceexception Found of t * zipper

Sourceval first_match_aux : matching -> zipper -> (t * zipper) option

val all_matches_aux : 
  matching ->
  zipper ->
  (t * zipper) list ->
  (t * zipper) list

Sourceval refine_focused : t -> zipper -> zipper list

Sourceval all_matches : matching -> Z.term Z.with_state -> zipper list

Sourceval first_match : matching -> Z.term Z.with_state -> zipper list

Sourceval uid_gen : unit -> int

Sourceval ex_patt : (prim, 'a) pattern_desc -> t

Sourceval prim : prim -> plist -> t

Sourceval prim_pred : (prim -> bool) -> plist -> t

Sourceval any_var : t

Sourceval var : int -> t

Sourceval any : t

Sourceval focus : t -> t

Sourceval list_any : plist

Sourceval list_empty : plist

Sourceval list_cons : t -> plist -> plist

Sourceval (@.) : t -> plist -> plist

Sourceval pp_patt : 'f. Format.formatter -> (prim, 'f) pattern -> unit

Sourceval pp_patt_list : 'f. Format.formatter -> (prim, 'f) pattern_list -> unit

Sourceval pp : Format.formatter -> t -> unit

Sourceval uid : t -> int