Searched refs:jkey_type_token (Results 1 – 2 of 2) sorted by relevance
72 new Key<${jtype_boxed(entry)}>("${entry.name}", ${jkey_type_token(entry)});
584 def jkey_type_token(entry): function