Function code_lenses 

pub fn code_lenses(doc: &DocumentState, uri: &Url) -> Vec<CodeLens>

Handle code lens request.

Shows “Run” above ## Main blocks and “Verify” above ## Theorem blocks. Commands include the block name as an argument for the editor extension.