package term-indexing

  1. Overview
  2. Docs

Module Pattern.Make_rawSource

Parameters

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

Signature

Sourcetype prim = P.t
Sourcetype path = Path.t
Sourcetype t =
  1. | Ex_patt : (prim, 'f) pattern -> t
Sourcetype matching = t list
Sourcetype plist =
  1. | Ex_patt_list : (prim, 'f) pattern_list -> plist
Sourcetype term = T.t
Sourceval get_paths_of_focuses : (prim, focused) pattern -> Path.t -> Path.t list -> Path.t list
Sourceval get_paths_of_focuses_list : (prim, focused) pattern_list -> Path.t -> int -> Path.t list -> Path.t 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 * Path.t
Sourceval first_match_aux : matching -> term -> Path.t -> (t * Path.t) option
Sourceval all_matches_aux : matching -> term -> Path.t -> (t * Path.t) list -> (t * Path.t) list
Sourceval refine_focused : t -> Path.t -> Path.t list
Sourceval all_matches : matching -> term -> Path.t list
Sourceval first_match : matching -> term -> Path.t 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 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