option.ur « ur « lib - urweb - functional programming language for web programming

about summary refs log tree commit diff homepage

path: root/lib/ur/option.ur

blob: cb2a6b5751859e6f23c9abf2b32583a308d47d82 (plain)

datatype t = datatype Basis.option

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