unit   xtlang


Defined in:  https://github.com/digego/extempore/tree/v0.8.9/examples/contrib/algebraic_data_types.xtm

Implementation

;; also known as return or pure
(bind-func unit:[Option{!a}*,!a]*
  (lambda (x)
    (Some x)))


Back to Index

Similar Entries