PasteRack.org
Paste # 66728
2021-10-11 00:56:49

Forked from paste # 19601.

Fork as a new paste.

Paste viewed 365 times.


Embed:

positive-integer-hash

  1. #lang typed/racket
  2.  
  3. (: my-hash (HashTable Positive-Integer Positive-Integer))
  4. (define my-hash '#hash((1 . 10)
  5.                        (2 . 20)
  6.                        (3 . 30)))
  7.  
  8. my-hash

=>

- : (HashTable Positive-Integer Positive-Integer)

'#hash((1 . 10) (2 . 20) (3 . 30))