Searched defs:member (Results 1 - 25 of 44) sorted by relevance

12

/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DUTF8Set.sig10 val member : t * string -> bool value
H A DUTF8Set.sml36 fun member(N(b,m),s) = function
H A DRedblackset.sig18 val member : 'item set * 'item -> bool value
H A DTable.sml49 val member: ('b -> 'a -> bool) -> 'a table -> key * 'b -> bool value
388 fun member eq tab (key, x) = function
/seL4-l4v-10.1.1/HOL4/src/parse/
H A DCharSet.sig10 val member : CharSet * char -> bool value
H A DCharSet.sml39 fun member(cs, c) = let function
/seL4-l4v-10.1.1/HOL4/src/postkernel/
H A DTheoryGraph.sig14 val member : t -> thy -> bool value
H A DTheoryGraph.sml23 fun member G thy = function
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/X86Code/
H A DINTSETSIG.sml29 val member: int * intSet -> bool value
H A DIntSet.sml132 fun member(i, IntSet l) = List.exists(fn n => n=i) l function
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/inputs/
H A Dcircuit-bisim.lisp[all...]
H A Dproblem-set-1-answers.lisp491 (defun member (e list) function
H A Dsummary.lisp[all...]
H A Dcircuits.lisp[all...]
H A Dcone-of-influence.lisp[all...]
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/
H A DIntset.sig19 val member : intset * int -> bool value
H A DIntset.sml250 fun member (set,x) = membert set x function
/seL4-l4v-10.1.1/HOL4/tools-poly/poly/
H A DBinaryset.sig21 val member : 'item set * 'item -> bool value
H A DBinaryset.sml287 fun member arg = case peek arg of NONE => false | _ => true function
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DThm.sig58 val member : Literal.literal -> thm -> bool value
H A DThm.sml72 fun member lit (Thm (cl,_)) = LiteralSet.member lit cl; function
H A DElementSet.sig47 val member : element -> set -> bool value
H A DSet.sig37 val member : 'elt -> 'elt set -> bool value
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DThm.sig58 val member : Literal.literal -> thm -> bool value
H A DThm.sml72 fun member lit (Thm (cl,_)) = LiteralSet.member lit cl; function

Completed in 138 milliseconds

12