Report question

Question: Is it possible to annotate a function's special properties (e.g. surjectivity)?