lsts-language-reference

type Maybe<x> = Some { contents:x } | None;
zero Maybe<x> = None;

.get-or(m: Maybe<x>, default: x) -> x

This site is open source. Improve this page.