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