Type generation examples This directory contains examples for testing the type inference support in reopt.