Skip to content

Represent `option` as `T_sum`

Melwyn Saldanharequested to merge
melwyn95/option-as-tsum into dev

type:internal

Clean up option type, represent it as a T_sum

Edited by Melwyn Saldanha

Merge request reports