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

about summary refs log tree commit diff homepage

path: root/lib/ur/option.urs

blob: 97e52fda028a555ae515abd76a2751e837c2c7c1 (plain)

1
2
3

datatype t = datatype Basis.option

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