charon_driver::translate::translate_closures

Function translate_closure_kind

Source 
pub fn translate_closure_kind(kind: &ClosureKind) -> ClosureKind