Reach
v2.6.1
Search documentation of Reach
Default
Default
In-browser search
Settings
Reach.
Evidence.
MapContract
(Reach v2.6.1)
Copy Markdown
View Source
Collects evidence for maps that behave like implicit contracts.
Summary
Functions
collect_ast(ast, opts \\ [])
collect_project(project, opts \\ [])
family()
kinds()
Functions
collect_ast(ast, opts \\ [])
collect_project(project, opts \\ [])
family()
kinds()