Function clarity_repl::analysis::contract_call_detector::traverse
source · [−]pub fn traverse(
exprs: &[SymbolicExpression],
deps: &mut BTreeSet<QualifiedContractIdentifier>
)
pub fn traverse(
exprs: &[SymbolicExpression],
deps: &mut BTreeSet<QualifiedContractIdentifier>
)