# `Reach.Evidence.ReturnContract.Fact`
[🔗](https://github.com/elixir-vibe/reach/blob/v2.8.4/lib/reach/evidence/return_contract.ex#L57)

Observed and declared terminal return shapes for one function.

# `t`

```elixir
@type t() :: %Reach.Evidence.ReturnContract.Fact{
  arity: term(),
  declared_contract: term(),
  file: term(),
  function: term(),
  impl: term(),
  line: term(),
  module: term(),
  outcomes: term(),
  visibility: term()
}
```

---

*Consult [api-reference.md](api-reference.md) for complete listing*