Pattern (p.term-indexing.0.0.1.doc.term-indexing.Term

Sourceexception Invalid_pattern

Sourcetype focused =

| Focused

Sourceval _focused : focused

Sourcetype unfocused =

| Unfocused

Sourceval _unfocused : unfocused

Sourcetype 'f focus_tag =

| Focused_tag : focused focus_tag
| Unfocused_tag : unfocused focus_tag

Sourcetype ('f1, 'f2, 'f) join =

| UU : (unfocused, unfocused, unfocused) join
| FU : (focused, unfocused, focused) join
| UF : (unfocused, focused, focused) join
| FF : (focused, focused, focused) join

Sourcetype (_, _) pattern_desc =

| Patt_prim : 'p prim_pred * ('p, 'f) pattern_list -> ('p, 'f) pattern_desc
| Patt_var : int -> ('p, unfocused) pattern_desc
| Patt_any : ('p, unfocused) pattern_desc
| Patt_focus : ('p, unfocused) pattern -> ('p, focused) pattern_desc

Sourceand ('p, 'f) pattern = {

patt_desc : ('p, 'f) pattern_desc;
patt_uid : int;

}

Sourceand (_, _) pattern_list =

| Patt_list_empty : ('p, unfocused) pattern_list
| Patt_list_any : ('p, unfocused) pattern_list
| Patt_list_cons : ('p, 'f1) pattern * ('p, 'f2) pattern_list * ('f1, 'f2, 'f) join -> ('p, 'f) pattern_list

Sourceand 'p prim_pred =

| Patt_prim_equal of 'p
| Patt_pred of 'p -> bool

Sourceval get_focus : 'f. ('p, 'f) pattern -> 'f focus_tag

Sourceval get_focus_list : 'f. ('p, 'f) pattern_list -> 'f focus_tag

Source

module Make_raw
  (P : Intf.Signature)
  (T : Intf.Term with type prim = P.t and type t = P.t Term.term) : 
  sig ... end

Source

module Make
  (P : Intf.Signature)
  (T : Intf.Term with type prim = P.t and type t = P.t Term.term) : 
  Intf.Pattern
    with type prim = P.t
     and type path = Path.t
     and type term = P.t Term.term

Source

module Make_with_hash_consing
  (P : Intf.Signature)
  (T : Intf.Term with type prim = P.t and type t = P.t Term.term) : 
  sig ... end