- k -

• key() : stats
• keys() : AstMap , Statistics
• kind() : ast , param_descrs , parameter , symbol , ExprRef , FuncDeclRef , SortRef