Skip to main content
Git Source 
event PolicyDeleted(uint256 indexed policyId);
⌘I