Reach.Evidence.MapContract (Reach v2.8.1)

Collects evidence for maps that behave like implicit contracts.

Summary

Returns names bound inside nested function-parameter patterns.

Indexes direct function-parameter bindings by their zero-based parameter position.

@spec nested_parameter_bindings(map()) ::
  MapSet.t(
    {{module() | nil, atom(), non_neg_integer()}, non_neg_integer(), atom()}
  )

Returns names bound inside nested function-parameter patterns.

@spec parameter_origin_index(map()) :: %{
  required({{module() | nil, atom(), non_neg_integer()}, term()}) =>
    non_neg_integer()
}

Indexes direct function-parameter bindings by their zero-based parameter position.