Function lake_target_declared 

pub fn lake_target_declared(
    project_root: &Path,
    target_name: &str,
) -> Result<bool, LeanModuleDiscoveryDiagnostic>

Return whether a Lake lean_lib target is declared in a project.

Errors

Returns discovery diagnostics if the Lake root or lakefile cannot be read.