Opaque function annotation#767

marcoeilers merged 8 commits into

masterviperproject/silicon:masterfrom

meilers_opaque_function_experimentviperproject/silicon:meilers_opaque_function_experimentCopy head branch name to clipboard