Skip to content

RFC 001: Extend Quint type system to support Sum Types #2469

RFC 001: Extend Quint type system to support Sum Types

RFC 001: Extend Quint type system to support Sum Types #2469