mirror of
				https://github.com/zulip/zulip.git
				synced 2025-11-04 05:53:43 +00:00 
			
		
		
		
	We only use this in a few places, but they're really important places for understanding the types in the codebase, and so it's worth having a bit of expository documentation explaining how we use it. (And I expect we'll add more with time).