Searched defs:matcher (Results 1 - 10 of 10) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/formal-languages/regular/
H A DRegexp_Match.sig6 val matcher : value
H A DregexpLib.sig11 val matcher : evaluator value
H A DregexpLib.sml191 fun matcher HOL = hol_matcher function
H A DRegexp_Match.sml503 fun matcher r = function
/seL4-l4v-10.1.1/HOL4/src/postkernel/
H A DDB.sig25 val matcher : (term -> term -> 'a) -> string list -> term -> data list value
H A DDB.sml202 fun matcher f thyl pat = function
/seL4-l4v-10.1.1/HOL4/src/1/
H A Dmatch_goal.sig12 type matcher = name * pattern * bool (* whole term? *) type
[all...]
H A Dmatch_goal.sml21 type matcher = name * pattern * bool type
166 type matcher = matcher type
/seL4-l4v-10.1.1/HOL4/src/simp/src/
H A DOpening.sml132 val matcher = value
/seL4-l4v-10.1.1/HOL4/src/tfl/src/
H A DRW.sml184 val matcher = Term.match_term pat value
210 val matcher = Term.match_term pat value

Completed in 74 milliseconds