# Module trie_proper

- Function Index
- Function Details

Behaviours: `proper_statem`.

## Function Index

command/1 |
correct/1 |
initial_state/0 |
next_state/3 |
postcondition/3 |
precondition/2 |
qc_run/1 |

## Function Details

### command/1

`command(State) -> any()`

### correct/1

`correct(M) -> any()`

### initial_state/0

`initial_state() -> any()`

### next_state/3

`next_state(State, V, X3) -> any()`

### postcondition/3

`postcondition(State, X2, R) -> any()`

### precondition/2

`precondition(S, Call) -> any()`

### qc_run/1

`qc_run(M) -> any()`

Generated by EDoc, Mar 28 2017, 18:18:19.