translate_closure_kind

charon_driver::translate::translate_closures

Function translate_closure_kind 

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