Raw File
set_size.tz
parameter (set int);
storage nat;
code {CAR; SIZE; NIL operation; PAIR}
back to top