This is the API documentation for metanorma-rsd-1.4.8 Documentation.