Copyright © 2010-2011 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
Version: Feb 14 2016 17:14:43
Authors: Manolis Papadakis.
This is PropEr's Reference Manual. If you are new to PropEr, you should first read the User Guide (available online at PropEr's website, and also in PropEr's README file). The bulk of the PropEr API is contained in the documentation for the following modules:
proper
proper_types
proper_symb
proper_typeserver
proper_fsm
proper_statem
Generated by EDoc, Feb 14 2016, 17:14:43.