This is the API documentation for rascal-0.3.2 Documentation.