All functions |
|
---|---|
|
Assertion factories of package 'typed' |
Build a new type |
|
Check Argument Types and Return Type |
|
Set Variable Types, Argument Types and Return Types. |
|
Process assertion factory dots |