This is the API documentation for metanorma-csd-1.3.23 Documentation.