summaryrefslogtreecommitdiff
path: root/lib/ur/option.urs
blob: 97e52fda028a555ae515abd76a2751e837c2c7c1 (plain)
1
2
3
datatype t = datatype Basis.option

val isSome : a ::: Type -> t a -> bool