Reach.Evidence.TotalFunctionLaundering.Fact (Reach v2.8.1)

Copy Markdown View Source

Evidence about a closed-domain parser with an accepted-value fallback.

Summary

Types

t()

Types

t()

@type t() :: %Reach.Evidence.TotalFunctionLaundering.Fact{
  arity: 1,
  catch_all: map(),
  clauses: [map()],
  declared_domain: MapSet.t(),
  fallback: term(),
  fallback_explicit?: boolean(),
  file: Path.t() | nil,
  inputs: MapSet.t(),
  name: atom(),
  outputs: MapSet.t()
}