home
/
code
/
tiger.ml.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
719e85474cc5a62d998e8ac965292f465d25b3b1
[tiger.ml.git]
/
tiger_opt.mli
1
type 'a t = 'a option
2
3
val map : 'a t -> ('a -> 'b) -> 'b t
4
5
val get : 'a t -> default:'a -> 'a
This page took
0.060933 seconds
and
3
git commands to generate.