Searched defs:some (Results 1 - 11 of 11) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/elliptic/
H A DParser.sig54 val some : ('a -> bool) -> ('a,'a) parser value
H A DParser.sml127 fun some p = maybe (fn x => if p x then SOME x else NONE); function
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DParse.sig60 val some : ('a -> bool) -> ('a,'a) parser value
H A DParse.sml90 fun some p = maybe (fn x => if p x then SOME x else NONE); function
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DParse.sig60 val some : ('a -> bool) -> ('a,'a) parser value
H A DParse.sml90 fun some p = maybe (fn x => if p x then SOME x else NONE); function
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibParser.sig36 val some : ('a -> bool) -> ('a,'a) parser value
H A DmlibParser.sml106 fun some p = maybe (fn x => if p x then SOME x else NONE); function
/seL4-l4v-10.1.1/HOL4/src/coretypes/
H A DoptionSyntax.sml119 val some = cinst ty some_tm value
/seL4-l4v-10.1.1/isabelle/src/Doc/Intro/document/
H A Dadvanced.tex
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Intro/document/
H A Dadvanced.tex

Completed in 186 milliseconds