Open AlexKnauth opened 5 years ago
Fixes #1.
By importing contract forms like define/contract, ->, any/c, and any.
define/contract
->
any/c
any
Fixes #1.
By importing contract forms like
define/contract
,->
,any/c
, andany
.