fix sessions and CE oracles

[why3.git] / stdlib / debug.mlw

module Debug

type t = { mutable foo: unit }

val t: t

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

end