catsigma

Results 2 issues of catsigma

``` type storage = unit contract type X = sig type storage val%entry entry_a : nat -> storage -> operation list * storage val%entry entry_b : int -> storage ->...

Contract with no problem ``` type token_storage = { balance_map : (address, nat) big_map; symbol : string; name : string; decimal : nat; total : nat; } type token_parameter =...