Reach.Check.MapContractTemplate (Reach v2.8.1)

Copy Markdown View Source

Builds source-backed fix templates for implicit map-contract candidates.

Summary

Functions

build(contracts, keys, kind, project, candidate_config)

@spec build([map()], [term()], atom(), Reach.Project.t(), map()) :: map()