effect4.mlw 131 Bytes
Newer Older
1 2 3

module M

4
  use import module ref.Ref
5 6 7

  parameter foo : int -> int

8
  parameter f : x:int -> {} unit writes foo.contents {}
9 10

end