spec (cargo): A specification manager within source code.
Keywords: specifications