chiark / gitweb /
Define types at both compile and run time