{"pages":[{"page_name":"Code-pattern-for-hiding-definitions-from-Z3-and-selectively-revealing-them","title":"Code pattern for hiding definitions from Z3 and selectively revealing them","summary":null,"action":"edited","sha":"e2fa3e4a0e9700d23548b40d0f21a2add871014a","html_url":"https://github.com/FStarLang/FStar/wiki/Code-pattern-for-hiding-definitions-from-Z3-and-selectively-revealing-them"}]}
{"actor":{"display_login":"aseemr"}}