join   xtlang


Defined in:  https://github.com/digego/extempore/tree/v0.8.9/tests/core/algebraic_data_types.xtm

Implementation

(bind-func join:[ADOption{!a}*,ADOption{ADOption{!a}*}*]*
  (lambda (M)
    (ADSome$ M (x) x (ADNone))))


Back to Index

Similar Entries