Catch.ident

Undocumented in source.
class Catch
Identifier ident;

Meta