lib/ur/option.ur


1
2
3
4
5
6
7
8
9
10
11

datatype t = datatype Basis.option

fun isSome [a] x =
    case x of
        None => False
      | Some _ => True

fun mp [a] [b] f x =
    case x of
        None => None
      | Some y => Some (f y)