Searched defs:many (Results 1 - 14 of 14) sorted by relevance

/seL4-l4v-master/l4v/tools/c-parser/testfiles/
H A Dbugzilla182.c12 struct small many[10][10]; member in struct:moderate
/seL4-l4v-master/HOL4/src/portableML/monads/
H A Doptmonad.sig24 val many : ('b, 'a) optmonad -> ('b, 'a list) optmonad value
H A Doptmonad.sml51 fun many p = function
/seL4-l4v-master/HOL4/examples/elliptic/
H A DParser.sig34 val many : ('a -> 'b * 'a) -> 'a -> 'b list * 'a value
H A DParser.sml87 fun many parser = function
/seL4-l4v-master/HOL4/src/prekernel/
H A DCoding.sig20 val many : 'a reader -> 'a list reader value
/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A DParse.sig42 val many : ('a -> 'b * 'a) -> 'a -> 'b list * 'a value
H A DParse.sml64 fun many parser = function
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A DParse.sig42 val many : ('a -> 'b * 'a) -> 'a -> 'b list * 'a value
H A DParse.sml64 fun many parser = function
/seL4-l4v-master/HOL4/src/metis/
H A DmlibParser.sig26 val many : ('a -> 'b * 'a) -> 'a -> 'b list * 'a value
H A DmlibSubsume.sml133 val many value
148 val many = (i,l,r,m) value
[all...]
H A DmlibParser.sml67 fun many parser = function
/seL4-l4v-master/HOL4/src/parse/
H A Dparse_type.sml68 fun many f fb = let function

Completed in 165 milliseconds