Skip to main content

resolve_csharp

lean_ctx_syntax::import_resolver::languages

Function resolve_csharp 

Source 
pub fn resolve_csharp(
    imp: &ImportInfo,
    ctx: &ResolverContext,
) -> (Option<String>, bool)