cmake_minimum_required(VERSION 3.20)
project(cex_type_demo LANGUAGES CXX)
set(CMAKE_CXX_STANDARD 23)
set(CMAKE_CXX_STANDARD_REQUIRED ON)
add_executable(type-demo main.cpp)
