# Module contracts #
* [Description](#description)
* [Function Index](#index)
* [Function Details](#functions)


<p>Contract implementation: compare a term against a contract.</p>.

<a name="index"></a>

## Function Index ##


<table width="100%" border="1" cellspacing="0" cellpadding="2" summary="function index"><tr><td valign="top"><a href="#checkEventIn-3">checkEventIn/3</a></td><td></td></tr><tr><td valign="top"><a href="#checkEventOut-3">checkEventOut/3</a></td><td></td></tr><tr><td valign="top"><a href="#checkRPCIn-3">checkRPCIn/3</a></td><td></td></tr><tr><td valign="top"><a href="#checkRPCOut-4">checkRPCOut/4</a></td><td></td></tr><tr><td valign="top"><a href="#isType-3">isType/3</a></td><td></td></tr><tr><td valign="top"><a href="#isTypeAttr-2">isTypeAttr/2</a></td><td></td></tr></table>


<a name="functions"></a>

## Function Details ##

<a name="checkEventIn-3"></a>

### checkEventIn/3 ###

`checkEventIn(Msg, ThisState, Mod) -> any()`


<a name="checkEventOut-3"></a>

### checkEventOut/3 ###

`checkEventOut(Msg, ThisState, Mod) -> any()`


<a name="checkRPCIn-3"></a>

### checkRPCIn/3 ###

`checkRPCIn(Msg, State, Mod) -> any()`


<a name="checkRPCOut-4"></a>

### checkRPCOut/4 ###

`checkRPCOut(MsgOut, StateOut, FSM2, Mod) -> any()`


<a name="isType-3"></a>

### isType/3 ###

`isType(Type, X, Mod) -> any()`


<a name="isTypeAttr-2"></a>

### isTypeAttr/2 ###

`isTypeAttr(X1, X2) -> any()`