# Introduction
## Definitions

# Constraints

# Requirements

## Software Interface
The `market` crate shall have a public interface as defined in `software_interface.txt`.