{"action":"created","issue":{"url":"https://api.github.com/repos/FStarLang/FStar/issues/11","repository_url":"https://api.github.com/repos/FStarLang/FStar","labels_url":"https://api.github.com/repos/FStarLang/FStar/issues/11/labels{/name}","comments_url":"https://api.github.com/repos/FStarLang/FStar/issues/11/comments","events_url":"https://api.github.com/repos/FStarLang/FStar/issues/11/events","html_url":"https://github.com/FStarLang/FStar/issues/11","id":46598460,"number":11,"title":"Sharing annotations among arguments","user":{"login":"catalin-hritcu","id":5850655,"avatar_url":"https://avatars0.githubusercontent.com/u/5850655?v=3","gravatar_id":"","url":"https://api.github.com/users/catalin-hritcu","html_url":"https://github.com/catalin-hritcu","followers_url":"https://api.github.com/users/catalin-hritcu/followers","following_url":"https://api.github.com/users/catalin-hritcu/following{/other_user}","gists_url":"https://api.github.com/users/catalin-hritcu/gists{/gist_id}","starred_url":"https://api.github.com/users/catalin-hritcu/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/catalin-hritcu/subscriptions","organizations_url":"https://api.github.com/users/catalin-hritcu/orgs","repos_url":"https://api.github.com/users/catalin-hritcu/repos","events_url":"https://api.github.com/users/catalin-hritcu/events{/privacy}","received_events_url":"https://api.github.com/users/catalin-hritcu/received_events","type":"User","site_admin":false},"labels":[{"id":90066078,"url":"https://api.github.com/repos/FStarLang/FStar/labels/enhancement","name":"enhancement","color":"84b6eb","default":true},{"id":332495188,"url":"https://api.github.com/repos/FStarLang/FStar/labels/syntax","name":"syntax","color":"bfd4f2","default":false}],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":4,"created_at":"2014-10-23T08:04:33Z","updated_at":"2017-05-01T18:39:30Z","closed_at":"2016-11-29T02:25:49Z","body":"It would be nice if one could write\n\n```\nlet rec mult (n m : nat) : nat = ...\n```\n\ninstead of\n\n```\nlet rec mult (n : nat) (m : nat) : nat = ...\n```\n"},"comment":{"url":"https://api.github.com/repos/FStarLang/FStar/issues/comments/298398075","html_url":"https://github.com/FStarLang/FStar/issues/11#issuecomment-298398075","issue_url":"https://api.github.com/repos/FStarLang/FStar/issues/11","id":298398075,"user":{"login":"nikswamy","id":6163359,"avatar_url":"https://avatars3.githubusercontent.com/u/6163359?v=3","gravatar_id":"","url":"https://api.github.com/users/nikswamy","html_url":"https://github.com/nikswamy","followers_url":"https://api.github.com/users/nikswamy/followers","following_url":"https://api.github.com/users/nikswamy/following{/other_user}","gists_url":"https://api.github.com/users/nikswamy/gists{/gist_id}","starred_url":"https://api.github.com/users/nikswamy/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/nikswamy/subscriptions","organizations_url":"https://api.github.com/users/nikswamy/orgs","repos_url":"https://api.github.com/users/nikswamy/repos","events_url":"https://api.github.com/users/nikswamy/events{/privacy}","received_events_url":"https://api.github.com/users/nikswamy/received_events","type":"User","site_admin":false},"created_at":"2017-05-01T18:39:30Z","updated_at":"2017-05-01T18:39:30Z","body":"I believe it is supported. You should be able to write\r\n\r\n```\r\nval f (x y :int) : int\r\n```"}}
{"actor":{"display_login":"nikswamy"}}