term-tools 0.0.2 (latest) · OCaml Package

exception Invalid_pattern

type focused =

| Focused

val _focused : focused

type unfocused =

| Unfocused

val _unfocused : unfocused

type 'f focus_tag =

| Focused_tag : focused focus_tag
| Unfocused_tag : unfocused focus_tag

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

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

type (_, _) pattern_desc =

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

and ('p, 'f) pattern = {

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

}

and (_, _) 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

and 'p prim_pred =

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

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

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

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

module Make
  (P : Intf.Signature)
  (T : Intf.Term_core with type prim = P.t and type t = P.t Term.term)
  (Z : Intf.Zipper with type term = T.t) : 
  Intf.Pattern
    with type prim = P.t
     and type term = P.t Term.term
     and type 'a with_state := 'a Z.with_state
     and type zipper = Z.t

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

package term-tools