Collects terminal return-shape evidence across clauses and branches.
Summary
Functions
@spec collect_project(Reach.Project.t()) :: [Reach.Evidence.ReturnContract.Fact.t()]
Collects terminal return-shape evidence across clauses and branches.
@spec collect_project(Reach.Project.t()) :: [Reach.Evidence.ReturnContract.Fact.t()]