Packages

makina

0.2.1
0.3.2 0.3.1 0.3.0 0.2.2 0.2.1 0.2.0

Makina is a DSL for writing PBT models for stateful systems.

HexDocs

Current section

Files

Jump to
Readme
6 Versions
0 Dependencies
Dependants
Files
Activity
makina priv docs templates invariants_module.md
Raw

priv/docs/templates/invariants_module.md 

This module contains the invariants of the model `<%= inspect(model) %>`.



## Invariants



<%= for inv <- invs, do: "- `#{inv}`\n" %>



Detailed information about each invariant can be accessed inside the

interpreter:



    iex> h <%= inspect(module) %>.Invariants.invariant