Characteristic predicate TypeRuntime::TypeRuntime

TypeRuntime()