Searched defs:maybe (Results 1 - 9 of 9) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/elliptic/
H A DParser.sig50 val maybe : ('a -> 'b option) -> ('a,'b) parser value
H A DParser.sml120 fun maybe p Stream.NIL = raise Noparse function
/seL4-l4v-10.1.1/HOL4/src/parse/
H A Dqbuf.sml62 fun maybe l = case locopt of NONE => l | SOME loc => loc function
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DParse.sig56 val maybe : ('a -> 'b option) -> ('a,'b) parser value
H A DParse.sml83 fun maybe p Stream.Nil = raise NoParse function
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DParse.sig56 val maybe : ('a -> 'b option) -> ('a,'b) parser value
H A DParse.sml83 fun maybe p Stream.Nil = raise NoParse function
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibParser.sig34 val maybe : ('a -> 'b option) -> ('a,'b) parser value
H A DmlibParser.sml99 fun maybe p S.NIL = raise Noparse function

Completed in 59 milliseconds