Skip to content
GitLab

Represent `option` as `T_sum`

Merged Melwyn Saldanha requested to merge melwyn95/option-as-tsum into dev

type:internal

Clean up option type, represent it as a T_sum

Edited by Melwyn Saldanha