Searched defs:optional (Results 1 - 3 of 3) sorted by relevance

/hets/Isabelle/export/
H A Dexport_helper.ml30 val optional : (('a, 'b) p -> ('a, 'b * 'c) p) -> var in function:>>/>>>/>>=
129 (* if p is a parser then optional p either has the result
132 if p and p1 are parsers then `optional (p #> p1)`
133 is the optional version of `p |> p1` *)
134 fun optional _ (Failed s) = Failed s
135 |optional p (State (ds,v)) = case p (State (ds,v)) of
299 #> optional (e (keyword "keywords") #>
308 (optional (p name #> e (keyword ":"))
315 in optional (many (assumes a)) #> optional (man
[all...]
/hets/OWL2/java/lib/
H A Dowlapi-osgidistribution-3.5.2.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/net. ...
H A Dguava-18.0.jar ... Absent extends com.google.common.base.Optional { static final com.google.common.base. ...

Completed in 17 milliseconds