Skip to content

Yet more efficient encoding of sum types #1350

Yet more efficient encoding of sum types

Yet more efficient encoding of sum types #1350