{"pages":[{"page_name":"Uniform-effects","title":"Uniform effects","summary":null,"action":"edited","sha":"5953ce82ca5a35a4f317b340697e62e78b5556f6","html_url":"https://github.com/FStarLang/FStar/wiki/Uniform-effects"}]}
{"actor":{"display_login":"catalin-hritcu"}}