This is the API documentation for risp-lang-0.1.0 Documentation.