Prints the following string Seq( ("Const", "() => SByte", 1206), // count=199 ("GT", "(T,T) => SBoolean", 7954), // count=157 ("/", "(SByte,SByte) => SByte", 25180), // count=2 ("Inputs$", "(SContext) => Coll[SBox]", 4699), // count=443; minLen=0; maxLen=1000; avgLen=9 ("OptionIsDefined", "(Option[SSigmaProp]) => SBoolean", 9251), // count=2 )