Examples/test-suite/python/cpp11_type_traits_runme.py

from cpp11_type_traits import *

if Elaborate(0, 0) != 1:
    raise RuntimeError("Elaborate should have returned 1")

if Elaborate(0, 0.0) != 2:
    raise RuntimeError("Elaborate should have returned 2")