module Debug

type t = { mutable foo: unit }

val t: t

val print (x:'a) : unit writes { t }

end