Function clarity_repl::clarity::analysis::type_check

pub fn type_check(
    contract_identifier: &QualifiedContractIdentifier,
    expressions: &mut [SymbolicExpression],
    analysis_db: &mut AnalysisDatabase<'_>,
    insert_contract: bool
) -> CheckResult<ContractAnalysis>