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

/seL4-l4v-master/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-master/HOL4/src/parse/
H A Dqbuf.sml67 fun maybe l = case locopt of NONE => l | SOME loc => loc function
/seL4-l4v-master/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-master/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-master/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
/seL4-l4v-master/HOL4/tools/
H A Dholscript-mode.el

Completed in 67 milliseconds