index
:
6.947
master
fake course web site
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
forum
/
myOption.urs
blob: 890c31be5fb82a5d672fb7c95e17a0d27cd723c1 (
plain
)
1
val getError : t ::: Type -> option t -> t