Settings API Reference Makina v0.3.0

This module provides the macros needed to write Makina models. After macro expansion the resulting models are property-based testing state machines compatible with the main property-based testing libraries: PropCheck or eqc_ex.

Provides definitions for types common to all Makina models.