This is the API documentation for Magma-0.2.7 Documentation.