API Reference makina v0.2.1

modules

Modules

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.