@is_defined(dico:map, k:value)


the predicate returns true if k is a key present in dico Do not mismatch with the negation of the predicate @is_undef.