package term-indexing

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module P : Intf.Signature

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

type prim = P.t

type path = Path.t

type t =

type matching = t list

type plist =

type term = T.t

val get_paths_of_focuses : 
  (prim, focused) pattern ->
  Path.t ->
  Path.t list ->
  Path.t list

val get_paths_of_focuses_list : 
  (prim, focused) pattern_list ->
  Path.t ->
  int ->
  Path.t list ->
  Path.t list

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

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

val pattern_matches : t -> term -> bool

exception Found of t * Path.t

val first_match_aux : matching -> term -> Path.t -> (t * Path.t) option

val all_matches_aux : 
  matching ->
  term ->
  Path.t ->
  (t * Path.t) list ->
  (t * Path.t) list

val refine_focused : t -> Path.t -> Path.t list

val all_matches : matching -> term -> Path.t list

val first_match : matching -> term -> Path.t list

val uid_gen : unit -> int

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

val prim : prim -> plist -> t

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

val var : int -> 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_patt : 'f. Format.formatter -> (prim, 'f) pattern -> unit

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

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

val uid : t -> int