Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- +-- Item -----
- | id: ℕ
- | name: String
- | price: ℝ
- | category: String
- |----
- | price ≥ 0
- +----------
- +-- Database -----
- | items: ℕ +-> Item
- |----------
- +-- Items -----
- | ids: ℕ
- | name: ids --> String
- | price: ids --> ℝ
- | category: ids --> String
- +----------
Add Comment
Please, Sign In to add comment